A Discrete Strategy Improvement Algorithm for Solving Parity Games
Abstract elided by the publisher.
Related papers
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- Efficient Parallel Strategy Improvement for Parity Games CAV 2017
- Attracting Tangles to Solve Parity Games CAV 2018
- Alpaga: A Tool for Solving Parity Games with Imperfect Information TACAS 2009
- Fast value iteration: A uniform approach to efficient algorithms for energy games TACAS 2025
- A Simple Algorithm for Solving Qualitative Probabilistic Parity Games CAV 2016
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers TACAS 2018
- Synthesizing Permissive Winning Strategy Templates for Parity Games CAV 2023