| 2026 | AAAI | Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions. | Roland Stolz, Michael Eichelbeck, Matthias Althoff |
| 2026 | CAV | Perception with Guarantees: Certified Pose Estimation via Reachability Analysis. | Tobias Ladner, Yasser Shoukry, Matthias Althoff |
| 2025 | DATE | Formally Verifying Analog Neural Networks with Device Mismatch Variations. | Yasmine Abu-Haeyeh, Thomas Bartelsmeier, Tobias Ladner, Matthias Althoff, Lars Hedrich, Markus Olbrich |
| 2025 | ICML | Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations. | Shahaf Bassan, Yizhak Yisrael Elboher, Tobias Ladner, Matthias Althoff, Guy Katz |
| 2025 | ICRA | Trajectory Planning with Signal Temporal Logic Costs Using Deterministic Path Integral Optimization. | Patrick Halder, Hannes Homburger, Lothar Kiltz, Johannes Reuter, Matthias Althoff |
| 2025 | IROS | Collision Mass Map for Safe and Efficient Human-Robot Interaction. | Julian Balletshofer, Robin Jeanne Kirschner, Matthias Althoff |
| 2025 | IFM | From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes. | Jonathan Hellwig, Lukas Schfer, Long Qian, Andr Platzer, Matthias Althoff |
| 2024 | AAAI | Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. | Tobias Ladner, Matthias Althoff |
| 2024 | CAV | Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. | Florian Lercher, Matthias Althoff |
| 2024 | CoRL | Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction. | Jakob Thumm, Christopher Agia, Marco Pavone, Matthias Althoff |
| 2024 | ICRA | Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach. | Jonathan Klz, Matthias Althoff |
| 2024 | ICRA | CoBRA: A Composable Benchmark for Robotics Applications. | Matthias Mayer, Jonathan Klz, Matthias Althoff |
| 2024 | IROS | Efficient Path Planning for Modular Reconfigurable Robots. | Matthias Mayer, Zihao Li, Matthias Althoff |
| 2024 | IROS | Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks. | Chencheng Tang, Matthias Althoff |
| 2024 | ICRA | Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration. | Jakob Thumm, Felix Trost, Matthias Althoff |
| 2023 | ICRA | Deep Occupancy-Predictive Representations for Autonomous Driving. | Eivind Meyer, Lars Frederik Peiss, Matthias Althoff |
| 2023 | IROS | Timor Python: A Toolbox for Industrial Modular Robotics. | Jonathan Klz, Matthias Mayer, Matthias Althoff |
| 2023 | IROS | Reducing Safety Interventions in Provably Safe Reinforcement Learning. | Jakob Thumm, Guillaume Pelat, Matthias Althoff |
| 2022 | ICMLA | Contingency-constrained economic dispatch with safe reinforcement learning. | Michael Eichelbeck, Hannah Markgraf, Matthias Althoff |
| 2022 | ICRA | SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. | Sven R. Schepp, Jakob Thumm, Stefan B. Liu, Matthias Althoff |
| 2022 | ICRA | Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. | Jakob Thumm, Matthias Althoff |
| 2021 | IROS | Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. | Stefan B. Liu, Matthias Althoff |
| 2020 | ASPDAC | Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. | Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff |
| 2020 | ICMLA | Falsification-Based Robust Adversarial Reinforcement Learning. | Xiao Wang, Saasha Nair, Matthias Althoff |
| 2020 | ICRA | Optimizing performance in automation through modular robots. | Stefan B. Liu, Matthias Althoff |
| 2020 | IROS | Automatic Synthesis of Human Motion from Temporal Logic Specifications. | Matthias Althoff, Matthias Mayer, Robert Mller |
| 2018 | ATVA | A Formally Verified Motion Planner for Autonomous Vehicles. | Albert Rizaldi, Fabian Immler, Bastian Schrmann, Matthias Althoff |
| 2018 | IROS | Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. | Stefan B. Liu, Matthias Althoff |
| 2018 | IROS | Hierarchical Path Planner Using Workspace Decomposition and Parallel Task-Space RRTs. | George Mesesan, Mximo A. Roa, Esra Icer, Matthias Althoff |
| 2018 | IROS | Efficient Computation of Invariably Safe States for Motion Planning of Self-Driving Vehicles. | Christian Pek, Matthias Althoff |
| 2017 | ICRA | Combined inverse-dynamics/passivity-based control for robots with elastic joints. | Andrea Giusti, Jrn Malzahn, Nikolaos G. Tsagarakis, Matthias Althoff |
| 2017 | IROS | Evolutionary cost-optimal composition synthesis of modular robots considering a given task. | Esra Icer, Heba A. Hassan, Khaled El-Ayat, Matthias Althoff |
| 2017 | IROS | Provably safe motion of mobile robots in human environments. | Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Ltkebohle, Jens Oehlerking, Matthias Althoff |
| 2017 | IROS | Calculating human reachable occupancy for guaranteed collision-free planning. | Aaron Pereira, Matthias Althoff |
| 2017 | IFM | Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. | Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow |
| 2016 | ATVA | STL Model Checking of Continuous and Hybrid Systems. | Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff |
| 2016 | ICRA | A task-driven algorithm for configuration synthesis of modular robots. | Esra Icer, Andrea Giusti, Matthias Althoff |
| 2016 | IROS | Overapproximative arm occupancy prediction for human-robot co-existence built from archetypal movements. | Aaron Pereira, Matthias Althoff |
| 2016 | SMC | Online motion synthesis with minimal intervention control and formal safety guarantees. | Martijn J. A. Zeestraten, Aaron Pereira, Matthias Althoff, Sylvain Calinon |
| 2015 | ASPDAC | Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. | Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke |
| 2015 | ICRA | Safety control of robots under Computed Torque control using reachable sets. | Aaron Pereira, Matthias Althoff |
| 2015 | IROS | Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets. | Daniel Althoff, Matthias Althoff, Sebastian A. Scherer |
| 2015 | IROS | Automatic centralized controller design for modular and reconfigurable robot manipulators. | Andrea Giusti, Matthias Althoff |
| 2014 | IROS | Formal verification of maneuver automata for parameterized motion primitives. | Daniel Hess, Matthias Althoff, Thomas Sattel |
| 2011 | ICCAD | Formal verification of phase-locked loops using reachability analysis and continuization. | Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi |
| 2010 | ICRA | Probabilistic collision state checker for crowded environments. | Daniel Althoff, Matthias Althoff, Dirk Wollherr, Martin Buss |
| 2008 | IROS | Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments. | Florian Rohrmller, Matthias Althoff, Dirk Wollherr, Martin Buss |
| 2007 | ACC | Safety Assessment of Autonomous Cars using Verification Techniques. | Matthias Althoff, Olaf Stursberg, Martin Buss |