Research Group Matthias Althoff
Matthias Althoff
Prof. Dr.
Principal Investigator
Matthias Althoff
is Professor of Cyber Physical Systems at TU Munich.
His research interests lie in systems whose computations are closely connected with their physical behavior. Referred to as cyber-physical systems, these systems require an integrated approach applying methods from computer science and engineering. Examples of such systems are autonomous vehicles, smart grids, intelligent production systems and medical robotics. Matthias Althoff’s research primarily focuses on formal methods for guaranteeing safety and correct operation as well as the model-based design of cyber-physical systems.
Team members @MCML
PhD Students
Michael Eichelbeck
→ Group Matthias Althoff
Cyber Physical Systems
Jonathan Külz
→ Group Matthias Althoff
Cyber Physical Systems
Tobias Ladner
→ Group Matthias Althoff
Cyber Physical Systems
Laura Lützow
→ Group Matthias Althoff
Cyber Physical Systems
Marlon Müller
→ Group Matthias Althoff
Cyber Physical Systems
Recent News @MCML
Publications @MCML
2025
Automatic Geometric Decomposition for Analytical Inverse Kinematics.
IEEE Robotics and Automation Letters 10.10. Oct. 2025. DOI
SanDRA: Safe Large-Language-Model-Based Decision Making for Automated Vehicles Using Reachability Analysis.
Preprint (Oct. 2025). GitHub
Falsification-Driven Reinforcement Learning for Maritime Motion Planning.
Preprint (Oct. 2025).
Leveraging Analytic Gradients in Provably Safe Reinforcement Learning.
IEEE Open Journal of Control Systems Early Access. Sep. 2025. DOI
A Design Co-Pilot for Task-Tailored Manipulators.
Preprint (Sep. 2025).
Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks.
Preprint (Aug. 2025).
Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution.
IEEE Transactions on Automation Science and Engineering Early Access. Jun. 2025. DOI
2024
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking.
NeurIPS 2024 - 38th Conference on Neural Information Processing Systems. Vancouver, Canada, Dec 10-15, 2024. URL
Stepping Out of the Shadows: Reinforcement Learning in Shadow Mode.
Preprint (Oct. 2024).
Guaranteeing Complex Safety Specifications for Autonomous Vehicles via Reinforcement Learning with Formal Methods.
Dissertation TU München. Jul. 2024. URL
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea.
IEEE Transactions on Intelligent Vehicles Early Access. May. 2024. DOI
2023
Timor Python: A Toolbox for Industrial Modular Robotics.
IROS 2023 - IEEE/RSJ International Conference on Intelligent Robots and Systems. Detroit, MI, USA, Oct 01-05, 2023. DOI
Automatic Abstraction Refinement in Neural Network Verification Using Sensitivity Analysis.
HSCC 2023 - 26th ACM International Conference on Hybrid Systems: Computation and Control. San Antonio, TX, USA, May 09-12, 2023. DOI
©all images: LMU | TUM