New Deterministic Algorithms for Solving Parity Games.

Matthias Mnich, Heiko Rglin, Clemens Rsner

Browse the full LATIN paper archive.