1. Guaranteed state estimation by zonotopes;Alamo;Automatica,2005
2. Alanwar, A., Gassmann, V., He, X., Said, H., Sandberg, H., Johansson, K. H., & Althoff, M. Privacy preserving set-based estimation using partially homomorphic encryption. arXiv:2010.11097.
3. Reachability analysis and its application to the safety assessment of autonomous cars;Althoff,2010
4. Althoff, M. (2015). An introduction to CORA 2015. In Proc. of the workshop on applied verification for continuous and hybrid systems (pp. 120–151).
5. Online verification of automated road vehicles using reachability analysis;Althoff;IEEE Transactions on Robotics,2014