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. Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
3. M. Althoff . 2015 . An Introduction to CORA 2015 . In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. 120–151 . M. Althoff. 2015. An Introduction to CORA 2015. In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems. 120–151.
4. Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
5. M. Althoff and et al.2021. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics . In Proc. of the International Workshop on Applied Verification of Continuous and Hybrid Systems. 1–31 . M. Althoff and et al.2021. ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In Proc. of the International Workshop on Applied Verification of Continuous and Hybrid Systems. 1–31.