Minimum-Time Reachability in Timed Games

Technical Report PDF: 
Technical Report Number: 
2007.85
TitleMinimum-Time Reachability in Timed Games
Publication TypeConference Paper
Year of Publication2007
AuthorsBrihaye, T, Henzinger TA, Prabhu VS, Raskin J-F
Conference NameICALP