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
37 items
Multi-Variable Conformal Prediction: Optimizing Prediction Sets without Data Splitting
2026
Cited
0
Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
2026
Cited
0
Learning Image-Adaptive Scale Fields for Metric Depth Recovery
2026
Cited
0
Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
2026
Cited
0
Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
2026
Cited
0
Vision-Based Safe Human-Robot Collaboration with Uncertainty Guarantees
2026
Cited
0
Provably Explaining Neural Additive Models
2026
Cited
0
Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
2026
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