Login / Signup

Minimum-Time Reachability in Timed Games.

Thomas BrihayeThomas A. HenzingerVinayak S. PrabhuJean-François Raskin
Published in: ICALP (2007)
Keyphrases