Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points

TitleTime-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points
Publication TypeConference Paper
Year of Publication2013
AuthorsBrihaye, T, Doyen L, Geeraerts G, Ouaknine J, Raskin J-F, Worrell J
Conference NameAutomated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-319-02444-8_6
DOI10.1007/978-3-319-02444-8_6