1. Althoff, M. (2015). An introduction to CORA 2015. Applied Verification for Continuous and Hybrid Systems.
2. Set propagation techniques for reachability analysis;Althoff;Annual Review of Control, Robotics, and Autonomous Systems,2021
3. Approximate reachability analysis of piecewise-linear dynamical systems. In N. Lynch and B.H. Krogh (eds.), Hybrid Systems: Computation and Control;Asarin,2000
4. Reachability analysis of nonlinear systems using conservative approximation. In O. Maler and A. Pnueli (eds.), Hybrid Systems: Computation and Control;Asarin,2003
5. Lebesgue piecewise affine approximation of nonlinear systems;Azuma;Nonlinear Analysis: Hybrid Systems,2010