Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances

Kód výsledku v 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>
Výsledek na webu
<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>

Jazyk výsledku
angličtina
Název v původním jazyce
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
Popis výsledku v původním jazyce
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ázev v anglickém jazyce
Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GBP202%2F12%2FG061" target="_blank" >GBP202/12/G061: Centrum excelence - Institut teoretické informatiky (CE-ITI)</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2016
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016
ISBN
9783319471655
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
19
Strana od-do
27-45
Název nakladatele
Springer
Místo vydání
Switzerland
Místo konání akce
Switzerland
Datum konání akce
1. 1. 2016
Typ akce podle státní příslušnosti
CST - Celostátní akce
Kód UT WoS článku
—

Podobné výsledky(10)