@InProceedings{BDGORW13, author = {Brihaye, T and Doyen, L. and Geeraerts, G. and Ouaknine, J. and Raskin, J.F. and Worrell, J.}, title = {Time-bounded Reachability for Hybrid Automata: Complexity and Fixpoints}, booktitle = {Proceedings of ATVA'13, 11th International Symposium on Automated Technology for Verification and Analysis }, series = {Lecture Notes in Computer Science}, publisher = {Springer}, year = {2013}, volume = {8172}, pages = {55--70} }