Papers
61
Total Citations
1,576
H-Index
22
About
Matthias Althoff is a leading researcher in formal verification, safe autonomous systems, and reachability analysis, with seminal contributions spanning autonomous driving, mobile robotics, and human-robot collaboration. His most influential work, "Online Verification of Automated Road Vehicles Using Reachability Analysis" (2014, 401 citations), established a foundational framework for formally guaranteeing the safety of autonomous vehicles in real time by predicting all possible future occupancies during operation — a breakthrough that continues to shape the field. Althoff has extended these verification principles across diverse domains, including provably safe mobile robots navigating pedestrian-rich environments, occupancy prediction for human arms in collaborative settings, and safety-assured modular industrial robots capable of self-programming and self-verification. His probabilistic approaches to obstacle mapping and inevitable collision state detection further demonstrate his versatility in tackling uncertainty in dynamic environments. A 2023 survey on formal methods for rules-of-the-road compliance reflects his growing influence on regulatory and standards challenges in autonomous driving. With hundreds of citations across multiple research threads, Althoff stands as a pivotal figure bridging rigorous mathematical safety guarantees with real-world autonomous and robotic systems.
Research Focus
Key Achievements
Top Papers
- 1Online Verification of Automated Road Vehicles Using Reachability Analysis401 citations · 2014
- 2
- 3Provably safe motion of mobile robots in human environments66 citations · 2017
- 4
- 5Probabilistic collision state checker for crowded environments51 citations · 2010
- 6
- 7Formal verification of maneuver automata for parameterized motion primitives41 citations · 2014
- 8
- 9
- 10Overapproximative Human Arm Occupancy Prediction for Collision Avoidance40 citations · 2017