1. Implementation of taylor models in cora 2018;Althoff,2018
2. Reachability analysis of linear systems with uncertain parameters and inputs;Althoff,2007
3. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization;Althoff,2008
4. Inner and outer approximations of polytopes using boxes;Bemporad;Computational Geometry,2004
5. The ocean-going autonomous ship—challenges and threats;Felski;Journal of Marine Science and Engineering,2020