2025
Statistical Model Checking the 2024 Edition!
KANAV, Sudeep; Jan KŘETÍNSKÝ a Kim G. LARSENZákladní údaje
Originální název
Statistical Model Checking the 2024 Edition!
Autoři
KANAV, Sudeep; Jan KŘETÍNSKÝ a Kim G. LARSEN
Vydání
Crete, Greece, Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, od s. 303-311, 9 s. 2025
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Švýcarsko
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Impakt faktor
Impact factor: 0.402 v roce 2005
Označené pro přenos do RIV
Ano
Organizační jednotka
Fakulta informatiky
ISBN
978-3-031-75433-3
ISSN
UT WoS
EID Scopus
Klíčová slova anglicky
Statistical Model Checking; Model Checking; AISoLA
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 1. 4. 2026 10:58, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
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.