An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games
No abstract available.
Related papers
- Oink: An Implementation and Evaluation of Modern Parity Game Solvers TACAS 2018
- A Matrix-Based Approach to Parity Games TACAS 2023
- Attracting Tangles to Solve Parity Games CAV 2018
- A Discrete Strategy Improvement Algorithm for Solving Parity Games CAV 2000
- A Simple Algorithm for Solving Qualitative Probabilistic Parity Games CAV 2016
- Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games VMCAI 2017
- Quasipolynomial Computation of Nested Fixpoints TACAS 2021
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems TACAS 2020