Matthias Althoff
Professor
Develops formally verified methods for cyber-physical systems such as autonomous vehicles, including set-based reachability analysis and safe reinforcement learning.
Matthias Althoff's lab at TUM works on autonomous vehicles & drones, reinforcement learning and embodied & active vision. 129 papers since 2023, 9 at top venues, mostly CoRL and ICLR. 52 alumni.
At a glance
- papers, 2023–2026
- 34/ year
- at T1 venues
- 7%
- PhD students
- 0
- MS students
- 0
- alumni listed
- 52
Papers by yearfrom the lab homepage, 2023–2026
- 21 papers2026 · T1 2 · collecting
- 34 papers2025 · T1 2
- 34 papers2024 · T1 3
- 40 papers2023 · T1 2
T1 venuesOtherVenues: CoRL, ICLR, ICRA, IROS, JMLR
Research focuspaper titles that use each topic's words
- Autonomous vehicles & drones22 papers
- Reinforcement learning18 papers
- safe reinforcement8 papers
- Embodied & active vision0 papers
- verified0 papers
Paper list
From the lab homepage.
202621 papers
- International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
- International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)ARCH-COMP26 Repeatability Evaluation Report
- IEEE Transactions on Smart Grid 17 (1), , 71-82CommonPower: A Framework for Safe Data-Driven Smart Grid Control
- IEEE Intelligent Transportation Systems Conference (ITSC)CommonRoad Diffusion Planning: A Toolbox for Diffusion-based Motion Planning in Autonomous Driving
- IEEE Intelligent Transportation Systems Conference (ITSC)CommonRoad-to-Autoware 2.0: Simplifying Sim-to-Real Transfer of Behavior Planning in Autonomous Driving
- The IEEE Intelligent Vehicles Symposium (IV)Contingency Planning for Autonomous Vehicles Using Mixed-Integer Programming
- In: International Symposium on AI Verification (SAIV).CORA: Verifying Neural Networks in a Shared Latent Space (Competition Contribution)
- IEEE Transactions on Intelligent Transportation Systems 27 (4), , 4656-4671Efficiently Ensuring Traffic Rule Compliance of Motion Plans by Incorporating Scenario Knowledge
- Ocean Engineering 361, , 125579Falsification-driven reinforcement learning for maritime motion planning
- IEEE Open Journal of Intelligent Transportation Systems 7, , 2307 - 2326Lexicographic Minimum-Violation Motion Planning using Signal Temporal Logic
- Proceedings of the IEEE 114 (4), , 628-657No More Traffic Tickets: A Tutorial to Ensure Traffic-Rule Compliance of Automated Vehicles
- International Conference on Learning Representations (ICLR)Out of the Shadows: Exploring a Latent Space for Neural Network Verification
202534 papers
- International Symposium on AI Verification (SAIV)Abstraction-Based Proof Production in Formal Verification of Neural Networks
- International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)ARCH-COMP25 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
- Proceedings of Int. Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing), EasyChairARCH-COMP25 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- Proceedings of Int. Workshop on Applied Verification for Continuous and Hybrid Systems (EPiC Series in Computing), EasyChairARCH-COMP25 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH)ARCH-COMP25 Repeatability Evaluation Report
- IEEE Robotics and Automation Letters 10 (10), , 9964-9971Automatic Geometric Decomposition for Analytical Inverse Kinematics
- IEEE Intelligent Vehicles Symposium (IV)CommonRoad Global Planner: A Toolbox for Global Motion Planning on Roads
- Technical University of MunichCORA Manual
- IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe)Deep Reinforcement Learning for Intraday Energy Trading
- The IEEE International Conference on Intelligent Transportation Systems (IEEE ITSC )Determining Invariably Rule-Compliant States for Motion Planning of Autonomous Vehicles
- Proceedings of the IEEE International Conference on Intelligent Transportation Systems (ITSC), , 407-414Efficient Driving Corridor Extraction for Autonomous Vehicles Using Best-First Reachability Analysis
- IEEE International Conference on Intelligent Transportation Systems, , 1322-1329Enhanced Traffic Rule Monitoring Using Model-Predictive and Duration-Aware Robustness
202434 papers
- International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EasyChairARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
- EPiC Series in Computing, EasyChair, , 15--10ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- EPiC Series in Computing, EasyChair, , 39-13ARCH-COMP24 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- IEEE International Conference on Robotics and Automation (ICRA), , 17665-17671CoBRA: A Composable Benchmark for Robotics Applications
- IEEE Intelligent Vehicles Symposium (IV), , 2702-2708CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning and 3D Simulation
- American Control Conference (ACC), , 4162-4169Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis
- IEEE Robotics and Automation Letters 9 (10), , 8218-8225DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models
- Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, , 3123-3129Efficient Path Planning for Modular Reconfigurable Robots
- Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), IEEE, , 2305-2311Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks
- ICLR WorkshopEmpowering Safe Reinforcement Learning in Power System Control with CommonPower
- NeurIPS (T1)Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking
- AAAI Conference on Artificial Intelligence (AAAI)Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification
202340 papers
- International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EasyChairARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
- EPiC Series in Computing, EasyChairARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
- EPiC Series in Computing, EasyChairARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
- Proceedings of the ACM International Conference on Hybrid Systems: Computation and Control (HSCC), ACMAutomatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis
- IEEE International Conference on Intelligent Transportation Systems (ITSC), , 4941-4946Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad
- Proc. of International Workshop on Applied Verification of Continuous and Hybrid Systems (EPiC Series in Computing)Checking and Establishing Reachset Conformance in CORA 2023
- IEEE Intelligent Vehicles Symposium (IV), , 1-8CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles
- IEEE Transactions on Intelligent Vehicles 8 (1), , 216-231Computation of Solution Spaces for Optimization-based Trajectory Planning
- Acta Informatica, , 279-316Constrained polynomial zonotopes
- IEEE International Conference on Robotics and Automation (ICRA)Deep Occupancy-Predictive Representations for Autonomous Driving
- IEEE International Conference on Robotics and Automation (ICRA), IEEEDensity Planner: Minimizing Collision Risk in Motion Planning with Dynamic Obstacles using Density-based Reachability
- Journal of the Franklin Institute 360 (10), , 6976-6993Distributed set-based observers using diffusion strategies
Where alumni went52 listed
Apply to TUMRolling
Not announced yet
Computer Science Doctorate (CIT)
- Round
- Rolling (position-based)
- Opens
- —
- GRE
- See program page
- English
- Very good written and spoken English; no minimum test score
- Fee
- See program page
Confirmed on the program page.
Similar labsnearest by research summary
- USMIT
Leslie Kaelbling
- Planning, control & multi-robot systems
- SGNTU
Wei Xiao
- Planning, control & multi-robot systems
- CNPeking
Meng Guo
- Planning, control & multi-robot systems
- USUCLA
Jason Jangho Choi
- Planning, control & multi-robot systems
- USCMU
Deepak Pathak
- Manipulation & robot learning
- USUW
Byron Boots
- Manipulation & robot learning
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.