Ihlemann, Carsten Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Damm, W., Ihlemann, C., & Sofronie-Stokkermans, V. (2011). Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata. In E. Frazzoli, & R. Grosu (Eds.), HSCC’11: Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control (pp. 73-82). New York, NY: ACM.