Similar Items: Time and Parallelizability Results for Parity Games with Bounded Tree and DAG Width
- Timed Parity Games: Complexity and Robustness
- Parity Games with Weights
- Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees
- Parity and Streett Games with Costs
- A Recursive Approach to Solving Parity Games in Quasipolynomial Time
- Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries