TY - GEN
T1 - Playing Games with Your PET
T2 - 36th International Conference on Computer Aided Verification, CAV 2024
AU - Meggendorfer, Tobias
AU - Weininger, Maximilian
N1 - Publisher Copyright:
© The Author(s) 2024.
PY - 2024
Y1 - 2024
N2 - We present version 2.0 of the Partial Exploration Tool (Pet), a tool for verification of probabilistic systems. We extend the previous version by adding support for stochastic games, based on a recent unified framework for sound value iteration algorithms. Thereby, Pet2 is the first tool implementing a sound and efficient approach for solving stochastic games with objectives of the type reachability/safety and mean payoff. We complement this approach by developing and implementing a partial-exploration based variant for all three objectives. Our experimental evaluation shows that Pet2 offers the most efficient partial-exploration based algorithm and is the most viable tool on SGs, even outperforming unsound tools.
AB - We present version 2.0 of the Partial Exploration Tool (Pet), a tool for verification of probabilistic systems. We extend the previous version by adding support for stochastic games, based on a recent unified framework for sound value iteration algorithms. Thereby, Pet2 is the first tool implementing a sound and efficient approach for solving stochastic games with objectives of the type reachability/safety and mean payoff. We complement this approach by developing and implementing a partial-exploration based variant for all three objectives. Our experimental evaluation shows that Pet2 offers the most efficient partial-exploration based algorithm and is the most viable tool on SGs, even outperforming unsound tools.
KW - Model checker
KW - Partial exploration
KW - Probabilistic verification
KW - Stochastic games
UR - http://www.scopus.com/inward/record.url?scp=85200715501&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-65633-0_16
DO - 10.1007/978-3-031-65633-0_16
M3 - Conference contribution
AN - SCOPUS:85200715501
SN - 9783031656323
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 359
EP - 372
BT - Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings
A2 - Gurfinkel, Arie
A2 - Ganesh, Vijay
PB - Springer Science and Business Media Deutschland GmbH
Y2 - 24 July 2024 through 27 July 2024
ER -