Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints

TitleTime-bounded Reachability for Hybrid Automata: Complexity and Fixpoints
Publication TypeConference Paper
Year of Publication2013
AuthorsBrihaye, T, Doyen L, Geeraerts G, Ouaknine J, Raskin JF, Worrell J
Conference NameProceedings of ATVA 2013, 11th International Symposium on Automated Technology for Verification and Analysis
PublisherSpringer
DOIhttp://dx.doi.org/10.1007/978-3-319-02444-8_6