Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives
Abstract elided by the publisher.
Related papers
- PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games TACAS 2016
- Stochastic Games with Lexicographic Reachability-Safety Objectives CAV 2020
- PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time CAV 2020
- Non-Zero-Sum Games with Multiple Weighted Objectives TACAS 2025
- ULTIMATE: A Tool for the Verification and Synthesis of Stochastic World Models CAV 2026
- Run-Time Optimization for Learned Controllers Through Quantitative Games CAV 2019
- Security-Aware Synthesis Using Delayed-Action Games CAV 2019
- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games TACAS 2022