Algorithms for solving parity games
From MaRDI portal
Recommendations
Cited in
(33)- Recursive algorithm for parity games requires exponential time
- Games for verification: Algorithmic issues
- Algorithms for Parity Games
- Effectively solvable classes of cyclical games
- scientific article; zbMATH DE number 7455738 (Why is no real title available?)
- scientific article; zbMATH DE number 1773090 (Why is no real title available?)
- Solving Parity Games on the GPU
- Linear complementarity algorithms for infinite games
- Solving parity games by a reduction to SAT
- Parity games on undirected graphs
- Computing Game Values for Crash Games
- A brief excursion to parity games
- scientific article; zbMATH DE number 1962853 (Why is no real title available?)
- A Multi-Core Solver for Parity Games
- Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
- Graph operations on parity games and polynomial-time algorithms
- A Deterministic Subexponential Algorithm for Solving Parity Games
- Attracting tangles to solve parity games
- Parity game reductions
- Efficient algorithms for games played on trees with back-edges
- Solving counter parity games
- Solving parity games using an automata-based algorithm
- Exponential examples of solving parity games
- Mathematical Foundations of Computer Science 2005
- Games through Nested Fixpoints
- scientific article; zbMATH DE number 1670778 (Why is no real title available?)
- Solving parity games in big steps
- Solving Parity Games in Big Steps
- Parameterized Algorithms for Parity Games
- Justifications and a reconstruction of parity game solving algorithms
- A CSP-Based Approach for Solving Parity Game
- Solving parity games in practice
- Alternating traps in Muller and parity games
This page was built for publication: Algorithms for solving parity games
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172529)
