Concurrent reachability games (1998)

by L de Alfaro, T A Henzinger, O Kupferman
Venue:In FOCS