Informace o publikaci

Statistical Model Checking the 2024 Edition!

Autoři

KANAV Sudeep KŘETÍNSKÝ Jan LARSEN Kim G.

Rok publikování 2025
Druh Článek ve sborníku
Konference Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024
Fakulta / Pracoviště MU

Fakulta informatiky

Citace
Doi https://doi.org/10.1007/978-3-031-75434-0_21
Klíčová slova Statistical Model Checking; Model Checking; AISoLA
Popis This short note introduces statistical model checking and gives a brief overview of the Statistical Model Checking, and its past, present and future at AISoLA 2024.

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info