Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Coin Rendering: Part 1Covers coin rendering and the limitations of the greedy algorithm in finding optimal solutions.