Concurrent Omega-Regular Games.

Luca de Alfaro, Thomas A. Henzinger

Browse the full LICS paper archive.