PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games
No abstract available.
Related papers
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- PRISM-games: A Model Checker for Stochastic Multi-Player Games TACAS 2013
- Correlated Equilibria and Fairness in Concurrent Stochastic Games TACAS 2022
- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives TACAS 2015
- Robust Verification of Concurrent Stochastic Games TACAS 2026
- Stochastic Games with Lexicographic Reachability-Safety Objectives CAV 2020
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026