Linear Recurrence RelationsExplores linear recurrence relations, including examples like the Fibonacci numbers and the proof of related theorems.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.