Solving Parity Games via Priority Promotion
Abstract elided by the publisher.
Related papers
- Permutation Games for the Weakly Aconjunctive \mu μ -Calculus TACAS 2018
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- A Discrete Strategy Improvement Algorithm for Solving Parity Games CAV 2000
- A Simple Algorithm for Solving Qualitative Probabilistic Parity Games CAV 2016
- Alpaga: A Tool for Solving Parity Games with Imperfect Information TACAS 2009
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- Attracting Tangles to Solve Parity Games CAV 2018
- On-The-Fly Solving for Symbolic Parity Games TACAS 2022