Improving Parity Game Solvers with Justifications
Abstract elided by the publisher.
Related papers
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers TACAS 2018
- Attracting Tangles to Solve Parity Games CAV 2018
- Alpaga: A Tool for Solving Parity Games with Imperfect Information TACAS 2009
- A Discrete Strategy Improvement Algorithm for Solving Parity Games CAV 2000
- Fast value iteration: A uniform approach to efficient algorithms for energy games TACAS 2025
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- Efficient Parallel Strategy Improvement for Parity Games CAV 2017
- Strix: Explicit Reactive Synthesis Strikes Back! CAV 2018