A Simple Algorithm for Solving Qualitative Probabilistic Parity Games
Abstract elided by the publisher.
Related papers
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- A Discrete Strategy Improvement Algorithm for Solving Parity Games CAV 2000
- Gist: A Solver for Probabilistic Games CAV 2010
- Attracting Tangles to Solve Parity Games CAV 2018
- Alpaga: A Tool for Solving Parity Games with Imperfect Information TACAS 2009
- A Matrix-Based Approach to Parity Games TACAS 2023
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- Fast value iteration: A uniform approach to efficient algorithms for energy games TACAS 2025