Finitary Winning in omega-Regular Games.

Krishnendu Chatterjee, Thomas A. Henzinger

Browse the full TACAS paper archive.