Regular biography
Prof. Dr.-Ing. Matthias Althoff is affiliated with the Technical University of Munich, in the department of Computer Science / Electrical Engineering. His research interests are not explicitly detailed in the provided information. Prof. Althoff's profile page can be accessed via the provided website link.
Scholar-generated biography
Matthias Althoff is an Associate Professor in Computer Science at Technische Universität München, specializing in Cyber-Physical Systems, Formal Verification, Reachability Analysis, and Robotics and Automated Driving. His research focuses on developing formal methods for verifying the safety and reliability of autonomous systems, particularly in the context of automated driving. Althoff's work includes the application of reachability analysis to assess the safety of autonomous vehicles, the development of benchmarking frameworks for motion planning, and the integration of probabilistic models for collision detection. His publications emphasize the use of set-based methods, such as zonotopes and polytopes, for computing reachable sets and ensuring safety in dynamic environments.