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