Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1365657,
author = {Křetínský, Jan},
address = {Switzerland},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016},
doi = {http://dx.doi.org/10.1007/978-3-319-47166-2_3},
keywords = {verification; statistical model checking; probabilistic systems},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Switzerland},
isbn = {978-3-319-47165-5},
pages = {27-45},
publisher = {Springer},
title = {Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances},
year = {2016}
}
TY - JOUR
ID - 1365657
AU - Křetínský, Jan
PY - 2016
TI - Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances
PB - Springer
CY - Switzerland
SN - 9783319471655
KW - verification
KW - statistical model checking
KW - probabilistic systems
N2 - 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.
ER -
KŘETÍNSKÝ, Jan. Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances. In \textit{Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016}. Switzerland: Springer. p.~27-45. ISBN~978-3-319-47165-5. doi:10.1007/978-3-319-47166-2\_{}3. 2016.
|
