1. Data-driven reachability analysis using matrix zonotopes;Alanwar,2021
2. Reachability analysis and its application to the safety assessment of autonomous cars;Althoff,2010
3. An introduction to CORA 2015;Althoff,2015
4. Set propagation techniques for reachability analysis;Althoff;Ann. Rev. Control Rob. Autonomous Syst.,2021
5. Mosek optimization toolbox for matlab;ApS;User’s Guide Ref. Manual, Version,2019