Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1095782,
author = {Chen, Taolue and Forejt, Vojtěch and Kwiatkowska, Marta and Parker, David and Simaitis, Aistis},
address = {Berlin, Heidelberg},
booktitle = {TACAS 2013},
doi = {http://dx.doi.org/10.1007/978-3-642-36742-7_13},
editor = {Nir Piterman and Scott A. Smolka},
keywords = {model-checker; stochastic games},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Berlin, Heidelberg},
isbn = {978-3-642-36741-0},
pages = {185-191},
publisher = {Springer},
title = {PRISM-games: A model checker for stochastic multi-player games},
url = {http://www.prismmodelchecker.org/papers/tacas13.pdf},
year = {2013}
}
TY - JOUR
ID - 1095782
AU - Chen, Taolue - Forejt, Vojtěch - Kwiatkowska, Marta - Parker, David - Simaitis, Aistis
PY - 2013
TI - PRISM-games: A model checker for stochastic multi-player games
PB - Springer
CY - Berlin, Heidelberg
SN - 9783642367410
KW - model-checker
KW - stochastic games
UR - http://www.prismmodelchecker.org/papers/tacas13.pdf
L2 - http://www.prismmodelchecker.org/papers/tacas13.pdf
N2 - We present PRISM-games, a model checker for stochastic multi-player games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or co-operative behaviour. Models are described in a probabilistic extension of the Reactive Modules language and properties are expressed using rPATL, which extends the well-known logic ATL with operators to reason about probabilities, various reward-based measures, quantitative properties and precise bounds. The tool is based on the probabilistic model checker PRISM, benefiting from its existing user interface and simulator, whilst adding novel model checking algorithms for stochastic games, as well as functionality to synthesise optimal player strategies, explore or export them, and verify other properties under the specified strategy.
ER -
CHEN, Taolue, Vojtěch FOREJT, Marta KWIATKOWSKA, David PARKER and Aistis SIMAITIS. PRISM-games: A model checker for stochastic multi-player games. In Nir Piterman and Scott A. Smolka. \textit{TACAS 2013}. Berlin, Heidelberg: Springer, 2013, p.~185-191. ISBN~978-3-642-36741-0. Available from: https://dx.doi.org/10.1007/978-3-642-36742-7\_{}13.
|
