Solving Parity Games in Practice.

Oliver Friedmann, Martin Lange

Browse the full ATVA paper archive.