On Reachability for Hybrid Automata over Bounded Time

Technical Report PDF: 
Technical Report Number: 
2011.141
TitleOn Reachability for Hybrid Automata over Bounded Time
Publication TypeConference Paper
Year of Publication2011
AuthorsBrihaye, T, Doyen L, Geeraerts G, Ouaknine J, Raskin J-F, Worrell J
Conference NameProceedings of ICALP 2011
PublisherSpringer
Refereed DesignationRefereed