Matthias Althoff
Scholar

Matthias Althoff

Google Scholar ID: E3zazJAAAAAJ
Associate Professor in Computer Science, Technische Universität München
Cyber-Physical SystemsFormal VerificationReachability AnalysisRobotics and Automated Driving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
11,082
 
H-index
54
 
i10-index
205
 
Publications
20
 
Co-authors
38
list available
Contact
No contact links provided.
Publications
31 items
Provably Explaining Neural Additive Models
2026
Cited
0
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
2026
Cited
0
BSAT: B-Spline Adaptive Tokenizer for Long-Term Time Series Forecasting
arXiv.org · 2026
Cited
0
Results of the 2024 CommonRoad Motion Planning Competition for Autonomous Vehicles
2025
Cited
0
Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
2025
Cited
0
From Demonstrations to Safe Deployment: Path-Consistent Safety Filtering for Diffusion Policies
2025
Cited
0
SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis
2025
Cited
0
Falsification-Driven Reinforcement Learning for Maritime Motion Planning
2025
Cited
0
Resume (English only)
Background
  • Research interests include design and analysis of cyber-physical systems
  • Formal verification of continuous and hybrid systems
  • Reachability analysis, planning algorithms
  • Robust and fault-tolerant control
  • Main application domains: autonomous vehicles, robotics, power systems, analog and mixed-signal circuits
Co-authors
38 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Hanna Krasowski
Hanna Krasowski
Postdoc at University of California Berkeley
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Christian Schilling
Christian Schilling
Associate Professor at Aalborg University