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

Publications

39 items

The Misery of Mechanistic Interpretability: A Formal Perspective

2026

Cited

0

RAM: Reachability Across Morphologies

2026

Cited

0

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

Resume

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

7 total

Hanna Krasowski

Postdoc at University of California Berkeley

Christian Schilling

Associate Professor at Aalborg University

The Robotics Institute, Carnegie Mellon University

Chair of Automatic Control Engineering, Technische Universität München

University of New Mexico

Lawrence Pileggi

Coraluppi Head and Tanoto Professor of ECE, Carnegie Mellon University

Senior Researcher, L2S, CNRS