Generalized Parity Games.

Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman

Browse the full FOSSACS paper archive.