Reachability-Time Games on Timed Automata.

Marcin Jurdzinski, Ashutosh Trivedi

Browse the full ICALP paper archive.