Concurrent reachability games. (2007)

by L de Alfaro, T A Henzinger, O Kupferman
Venue:Theoretical Computer Science