Properties of X/GExplores the properties of the quotient space X/G when X is compact and sometimes separated.
Solving Parity Games in PracticeExplores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.