Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints

TitleTime-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
Publication TypeJournal Article
Year of Publication2012
AuthorsBrihaye, T, Doyen L, Geeraerts G, Ouaknine J, - J, Worrell J
JournalCoRR
Volumeabs/1211.1276
URLhttp://arxiv.org/abs/1211.1276