Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00088474" target="_blank" >RIV/00216224:14330/16:00088474 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/978-3-319-47166-2_3" target="_blank" >http://dx.doi.org/10.1007/978-3-319-47166-2_3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-47166-2_3" target="_blank" >10.1007/978-3-319-47166-2_3</a>
Alternative languages
Result language
angličtina
Original language name
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Center of excellence - Institute for theoretical computer science (CE-ITI)</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016
ISBN
9783319471655
ISSN
0302-9743
e-ISSN
—
Number of pages
19
Pages from-to
27-45
Publisher name
Springer
Place of publication
Switzerland
Event location
Switzerland
Event date
Jan 1, 2016
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—