Solving Counter Parity Games.

Dietmar Berwanger, Lukasz Kaiser, Simon Leenich

Browse the full MFCS paper archive.