1. M. Althoff. 2010. Reachability analysis and its application to the safety assessment of autonomous cars. Dissertation. Technische Universität München. M. Althoff. 2010. Reachability analysis and its application to the safety assessment of autonomous cars. Dissertation. Technische Universität München.
2. M. Althoff . 2015 . An introduction to CORA 2015 . In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. 120–151 . https://doi.org/10.29007/zbkv 10.29007/zbkv M. Althoff. 2015. An introduction to CORA 2015. In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. 120–151. https://doi.org/10.29007/zbkv
3. M. Althoff , E. Ábrahám , M. Forets , G. Frehse , D. Freire , C. Schilling , S. Schupp , and M. Wetzlinger . 2021. ARCH-COMP21 category report: continuous and hybrid systems with linear continuous dynamics . In Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems. 1–31 . https://doi.org/10.29007/lhbw 10.29007/lhbw M. Althoff, E. Ábrahám, M. Forets, G. Frehse, D. Freire, C. Schilling, S. Schupp, and M. Wetzlinger. 2021. ARCH-COMP21 category report: continuous and hybrid systems with linear continuous dynamics. In Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems. 1–31. https://doi.org/10.29007/lhbw
4. M. Althoff and G. Frehse . 2016. Combining zonotopes and support functions for efficient reachability analysis of linear systems . In Proc. of the 55th IEEE Conference on Decision and Control. 7439–7446 . https://doi.org/10.1109/CDC. 2016 .7799418 10.1109/CDC.2016.7799418 M. Althoff and G. Frehse. 2016. Combining zonotopes and support functions for efficient reachability analysis of linear systems. In Proc. of the 55th IEEE Conference on Decision and Control. 7439–7446. https://doi.org/10.1109/CDC.2016.7799418
5. Set Propagation Techniques for Reachability Analysis