Concurrent Reachability Games.

Luca de Alfaro, Thomas A. Henzinger, Orna Kupferman

Browse the full FOCS paper archive.