World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
52
Citations
10552
World Ranking
5097
National Ranking
229

Overview

Matthias Althoff is affiliated with the Technical University of Munich in Germany. Their research portfolio spans the fields of engineering and computer science, with significant contributions in subfields such as control and systems engineering, computational theory and mathematics, and artificial intelligence. Additional areas of focus include automotive engineering and computer vision and pattern recognition.

The scientist's main research topics cover formal methods in verification, autonomous vehicle technology and safety, advanced control systems optimization, and robotic path planning algorithms. Other notable topics in their work include fault detection and control systems, robot manipulation and learning, and adversarial robustness in machine learning.

Althoff has published extensively, contributing to various scientific journals and conferences. Frequent publication venues include arXiv (Cornell University), EPiC series in computing, IEEE Transactions on Intelligent Vehicles, IEEE Transactions on Automatic Control, and the 2022 IEEE 25th International Conference on Intelligent Transportation Systems.

Recent publications by Matthias Althoff include:

  • "Set Propagation Techniques for Reachability Analysis," 2020, Annual Review of Control Robotics and Autonomous Systems
  • "Using online verification to prevent autonomous vehicles from causing accidents," 2020, Nature Machine Intelligence
  • "Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior," 2020, IEEE Transactions on Intelligent Transportation Systems
  • "Using Reachable Sets for Trajectory Planning of Automated Vehicles," 2020, IEEE Transactions on Intelligent Vehicles
  • "Set-Based Prediction of Traffic Participants Considering Occlusions and Traffic Rules," 2020, IEEE Transactions on Intelligent Vehicles

Collaborations with other researchers are a consistent part of Althoff's work. Frequent co-authors include Mark Wetzlinger, Niklas Kochdumper, Christian Schilling, Hanna Krasowski, and Marcelo Forets.

Best Publications

  • Online Verification of Automated Road Vehicles Using Reachability Analysis

    Matthias Althoff;John M. Dolan

  • CommonRoad: Composable benchmarks for motion planning on roads

    Matthias Althoff;Markus Koschi;Stefanie Manzinger

  • Model-Based Probabilistic Collision Detection in Autonomous Driving

    M. Althoff;O. Stursberg;M. Buss

  • An Introduction to CORA 2015

    Matthias Althoff

  • Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars

    Matthias Althoff

  • Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization

    M. Althoff;O. Stursberg;M. Buss

  • Set Propagation Techniques for Reachability Analysis

    Matthias Althoff;Goran Frehse;Antoine Girard

  • Computing Reachable Sets of Hybrid Systems Using a Combination of Zonotopes and Polytopes

    Matthias Althoff;Olaf Stursberg;Martin Buss

  • Formal verification of phase-locked loops using reachability analysis and continuization

    Matthias Althoff;Akshay Rajhans;Bruce H. Krogh;Soner Yaldiz

  • High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning

    Branka Mirchevska;Christian Pek;Moritz Werling;Matthias Althoff

  • Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets

    Matthias Althoff

  • Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars

    M. Althoff;A. Mergel

  • Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles

    Matthias Althoff;Sebastian Lutz

  • Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms

    Moritz Klischat;Matthias Althoff

  • Reachability Analysis of Nonlinear Differential-Algebraic Systems

    Matthias Althoff;Bruce H. Krogh

  • Zonotope bundles for the efficient computation of reachable sets

    Matthias Althoff;Bruce H. Krogh

  • Using online verification to prevent autonomous vehicles from causing accidents

    Christian Pek;Stefanie Manzinger;Markus Koschi;Matthias Althoff

  • Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior

    Fanta Camara;Nicola Bellotto;Serhan Cosar;Florian Weber

  • Reachability analysis of linear systems with uncertain parameters and inputs

    M. Althoff;O. Stursberg;M. Buss

  • Set-Based Prediction of Traffic Participants on Arbitrary Road Networks

    Matthias Althoff;Silvia Magdici

  • Reachable set computation for uncertain time-varying linear systems

    Matthias Althoff;Colas Le Guernic;Bruce H. Krogh

Frequent Co-Authors

Martin Buss
Martin Buss Technical University of Munich
Bruce H. Krogh
Bruce H. Krogh Carnegie Mellon University
John M. Dolan
John M. Dolan Carnegie Mellon University
Tobias Nipkow
Tobias Nipkow Technical University of Munich
Natasha Merat
Natasha Merat University of Leeds
Sylvain Calinon
Sylvain Calinon Idiap Research Institute
Richard M. Murray
Richard M. Murray California Institute of Technology
Larry Pileggi
Larry Pileggi Carnegie Mellon University
Darwin G. Caldwell
Darwin G. Caldwell Italian Institute of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online study and alternative pathways can help you jumpstart your career in computer science, no matter your background. Many students consider advancing quickly by enrolling in the quickest online masters degree programs. These accelerated options often allow you to balance work and study while gaining valuable credentials in less time.

If you’re aiming for a smart return on your educational investment, choosing masters degrees that are worth it can make a significant difference in job opportunities and earning potential. Computer science consistently ranks as one of the most in-demand fields among advanced degree holders.

Not ready for a full bachelor’s or master’s degree? An associate's degree online provides a flexible first step. These programs can prepare you for entry-level positions or serve as a foundation for further studies.

Affordability is a key concern for many students. Fortunately, there are cheap online colleges offering accredited computer science programs. These options ensure you can pursue your educational goals without overwhelming debt.

Best Scientists Citing Matthias Althoff

Trending Scientists

Recently Published Articles