2016
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
KŘETÍNSKÝ, JanZákladní údaje
Originální název
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
Autoři
KŘETÍNSKÝ, Jan (203 Česká republika, garant, domácí)
Vydání
Switzerland, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, od s. 27-45, 19 s. 2016
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
Kód RIV
RIV/00216224:14330/16:00088474
Organizační jednotka
Fakulta informatiky
ISBN
978-3-319-47165-5
ISSN
UT WoS
000389939100003
Klíčová slova anglicky
verification; statistical model checking; probabilistic systems
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 25. 10. 2024 16:30, Mgr. Natálie Hílek
Anotace
V originále
We survey statistical verification techniques aiming at linear properties with unbounded or infinite horizon, as opposed to properties of runs of fixed length. We discuss statistical model checking of Markov chains and Markov decision processes against reachability, unbounded-until, LTL and mean-payoff properties. Moreover, the respective strategies can be represented efficiently using statistical techniques. Further, we also discuss when it is possible to statistically estimate linear distances between Markov chains.
Návaznosti
| GBP202/12/G061, projekt VaV |
|