1. An introduction to CORA 2015;Althoff;In Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems,2015
2. Althoff, M. (2010). Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars. Ph.D. thesis, Technische Universität München.
3. Recent progress in continuous and hybrid reachability analysis;Asarin;In Proc. of the IEEE Conference on Computer Aided Control Systems Design,2006
4. Bertsekas, D.P. (2005). Dynamic Programming and Optimal Control. Athena Scientific Belmont, MA, 3rd edition.
5. Practical Methods for Optimal Control and Estimation Using Nonlinear Programming;Betts,2010