PRISM-games: A Model Checker for Stochastic Multi-Player Games
No abstract available.
Related papers
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- Correlated Equilibria and Fairness in Concurrent Stochastic Games TACAS 2022
- PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games TACAS 2016
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties CAV 2023
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Playing Against Fair Adversaries in Stochastic Games with Total Rewards CAV 2022