Minimum-Time Reachability in Timed Games.

Thomas Brihaye, Thomas A. Henzinger, Vinayak S. Prabhu, Jean-Franois Raskin

Browse the full ICALP paper archive.