Matthias Althoff

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 225

Top Venues

Publications

Lukas Koller, Tobias Ladner, Matthias Althoff
End-To-End Set-Based Training for Neural Network Verification. CoRR (2024)
Hanna Krasowski, Matthias Althoff
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. CoRR (2024)
Lukas Schäfer, Felix Gruber, Matthias Althoff
Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems. IEEE Trans. Autom. Control. 69 (2) (2024)
Sebastian Mair, Matthias Althoff
Provably-Correct Safety Protocol for Cooperative Platooning. CoRR (2023)
Yuanfei Lin, Matthias Althoff
CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles. IV (2023)
Jakob Thumm, Guillaume Pelat, Matthias Althoff
Reducing Safety Interventions in Provably Safe Reinforcement Learning. IROS (2023)
Yuanfei Lin, Haoxuan Li, Matthias Althoff
Model Predictive Robustness of Signal Temporal Logic Predicates. IEEE Robotics Autom. Lett. 8 (12) (2023)
Eivind Meyer, Maurice Brenner, Bowen Zhang, Max Schickert, Bilal Musani, Matthias Althoff
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric. IV (2023)
Eivind Meyer, Lars Frederik Peiss, Matthias Althoff
Deep Occupancy-Predictive Representations for Autonomous Driving. ICRA (2023)
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification. IEEE Trans. Robotics 39 (5) (2023)
Jonathan Külz, Matthias Mayer, Matthias Althoff
Timor Python: A Toolbox for Industrial Modular Robotics. IROS (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets. IEEE Trans. Autom. Control. 68 (12) (2023)
Eivind Meyer, Lars Frederik Peiss, Matthias Althoff
Deep Occupancy-Predictive Representations for Autonomous Driving. CoRR (2023)
Jakob Thumm, Felix Trost, Matthias Althoff
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration. CoRR (2023)
Jakob Thumm, Guillaume Pelat, Matthias Althoff
Reducing Safety Interventions in Provably Safe Reinforcement Learning. CoRR (2023)
Chencheng Tang, Matthias Althoff
Formal Verification of Robotic Contact Tasks via Reachability Analysis. CoRR (2023)
Niklas Kochdumper, Matthias Althoff
Constrained polynomial zonotopes. Acta Informatica 60 (3) (2023)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. NFM (2023)
Edmond Irani Liu, Matthias Althoff
Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles. IEEE Trans. Intell. Veh. 8 (9) (2023)
Lars Frederik Peiss, Elias Wohlgemuth, Fan Xue, Eivind Meyer, Luis Gressenbuch, Matthias Althoff
Graph-Based Autonomous Driving with Traffic-Rule-Enhanced Curriculum Learning. ITSC (2023)
Laura Lützow, Matthias Althoff
Reachability Analysis of ARMAX Models. CoRR (2023)
Patrick Halder, Fabian Christ, Matthias Althoff
Lexicographic Mixed-Integer Motion Planning with STL Constraints. ITSC (2023)
Tobias Ladner, Matthias Althoff
Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. HSCC (2023)
Aaron Pereira, Mareike Baumann, Jonas Gerstner, Matthias Althoff
Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study. IEEE Trans Autom. Sci. Eng. 20 (4) (2023)
Noushin Mehdipour, Matthias Althoff, Radboud J. Duintjer Tebbens, Calin Belta
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. Autom. 152 (2023)
Laura Lützow, Matthias Althoff
Reachability Analysis of ARMAX Models. CDC (2023)
Moritz Klischat, Matthias Althoff
Falsifying Motion Plans of Autonomous Vehicles With Abstractly Specified Traffic Scenarios. IEEE Trans. Intell. Veh. 8 (2) (2023)
Felix Gruber, Matthias Althoff
Scalable Robust Safety Filter With Unknown Disturbance Set. IEEE Trans. Autom. Control. 68 (12) (2023)
Eivind Meyer, Maurice Brenner, Bowen Zhang, Max Schickert, Bilal Musani, Matthias Althoff
Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric. CoRR (2023)
Phillip Karle, Tobias Betz, Marcin Bosk, Felix Fent, Nils Gehrke, Maximilian Geisslinger, Luis Gressenbuch, Philipp Hafemann, Sebastian Huber, Maximilian Hübner, Sebastian Huch, Gemb Kaljavesi, Tobias Kerbl, Dominik Kulmer, Tobias Mascetta, Sebastian Maierhofer, Florian Pfab, Filip Rezabek, Esteban Rivera, Simon Sagmeister, Leander Seidlitz, Florian Sauerbeck, Ilir Tahiraj, Rainer Trauth, Nico Uhlemann, Gerald Würsching, Baha Zarrouki, Matthias Althoff, Johannes Betz, Klaus Bengler, Georg Carle, Frank Diermeyer, Jörg Ott, Markus Lienkamp
EDGAR: An Autonomous Driving Research Platform - From Feature Development to Real-World Application. CoRR (2023)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. HSCC (2023)
Tobias Ladner, Matthias Althoff
Specification-Driven Neural Network Reduction for Scalable Formal Verification. CoRR (2023)
Lukas Schäfer, Stefanie Manzinger, Matthias Althoff
Computation of Solution Spaces for Optimization-Based Trajectory Planning. IEEE Trans. Intell. Veh. 8 (1) (2023)
Di Liu, Sebastian Mair, Kang Yang, Simone Baldi, Paolo Frasca, Matthias Althoff
Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-organization Strategies and Provably-correct Design. CoRR (2023)
Christoph Stiller, Matthias Althoff
Cooperative interacting automobiles. Autom. 71 (4) (2023)
Florian Finkeldei, Matthias Althoff
Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis. ITSC (2023)
Yuanfei Lin, Michael Ratzel, Matthias Althoff
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad. CoRR (2023)
Sebastian Maierhofer, Yannick Ballnath, Matthias Althoff
Map Verification and Repairing Using Formalized Map Specifications. ITSC (2023)
Amr Alanwar, Victor Gaßmann, Xingkang He, Hazem Said, Henrik Sandberg, Karl Henrik Johansson, Matthias Althoff
Privacy-preserving set-based estimation using partially homomorphic encryption. Eur. J. Control 71 (2023)
Hannah Markgraf, Matthias Althoff
Safe Multi-Agent Reinforcement Learning for Price-Based Demand Response. ISGT EUROPE (2023)
Mark Wetzlinger, Matthias Althoff
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation. CoRR (2023)
Yuanfei Lin, Michael Ratzel, Matthias Althoff
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad. ITSC (2023)
Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
Distributed set-based observers using diffusion strategies. J. Frankl. Inst. 360 (10) (2023)
Jonathan Külz, Matthias Althoff
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach. CoRR (2023)
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. CDC (2023)
Niklas Kochdumper, Hanna Krasowski, Xiao Wang, Stanley Bak, Matthias Althoff
Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. CoRR (2022)
Cees Ferdinand Verdier, Niklas Kochdumper, Matthias Althoff, Manuel Mazo Jr.
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. Autom. 139 (2022)
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes. CoRR (2022)
Luis Gressenbuch, Klemens Esterle, Tobias Kessler, Matthias Althoff
MONA: The Munich Motion Dataset of Natural Driving. ITSC (2022)
Hanna Krasowski, Jakob Thumm, Marlon Müller, Xiao Wang, Matthias Althoff
Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison. CoRR (2022)
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
Contingency-constrained economic dispatch with safe reinforcement learning. CoRR (2022)
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
Contingency-constrained economic dispatch with safe reinforcement learning. ICMLA (2022)
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak, Matthias Althoff
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets. CoRR (2022)
Jakob Thumm, Matthias Althoff
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. CoRR (2022)
Patrick Halder, Matthias Althoff
Minimum-Violation Velocity Planning with Temporal Logic Constraints. ITSC (2022)
Bastian Schürmann, Moritz Klischat, Niklas Kochdumper, Matthias Althoff
Formal Safety Net Control Using Backward Reachability Analysis. IEEE Trans. Autom. Control. 67 (11) (2022)
Edmond Irani Liu, Gerald Würsching, Moritz Klischat, Matthias Althoff
CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles. ITSC (2022)
Jakob Thumm, Matthias Althoff
Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. ICRA (2022)
Sven R. Schepp, Jakob Thumm, Stefan B. Liu, Matthias Althoff
SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. ICRA (2022)
Xiao Wang, Christoph Pillmayer, Matthias Althoff
Learning to Obey Traffic Rules using Constrained Policy Optimization. ITSC (2022)
Yuanfei Lin, Matthias Althoff
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories. IV (2022)
Yuanfei Lin, Haoxuan Li, Matthias Althoff
Model Predictive Robustness of Signal Temporal Logic Predicates. CoRR (2022)
Jonathan Külz, Matthias Mayer, Matthias Althoff
Timor Python: A Toolbox for Industrial Modular Robotics. CoRR (2022)
Hanna Krasowski, Prithvi Akella, Aaron D. Ames, Matthias Althoff
Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. CoRR (2022)
Sebastian Maierhofer, Paul Moosbrugger, Matthias Althoff
Formalization of Intersection Traffic Rules in Temporal Logic. IV (2022)
Hanna Krasowski, Matthias Althoff
CommonOcean: Composable Benchmarks for Motion Planning on Oceans. ITSC (2022)
Hanna Krasowski, Yinqiang Zhang, Matthias Althoff
Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets. ITSC (2022)
Andrea Giusti, Stefan B. Liu, Matthias Althoff
Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems. IEEE Trans. Control. Syst. Technol. 30 (4) (2022)
Matthias Mayer, Jonathan Külz, Matthias Althoff
cRoK: A Composable Robotics Benchmark. CoRR (2022)
Fanta Camara, Nicola Bellotto, Serhan Cosar, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Charles W. Fox
Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Tracking. IEEE Trans. Intell. Transp. Syst. 22 (10) (2021)
Felix Gruber, Matthias Althoff
Computing Safe Sets of Linear Sampled-Data Systems. IEEE Control. Syst. Lett. 5 (2) (2021)
Matthias Althoff, Erika Ábrahám, Marcelo Forets, Goran Frehse, Daniel Freire, Christian Schilling, Stefan Schupp, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS (2021)
Hanna Krasowski, Matthias Althoff
Temporal Logic Formalization of Marine Traffic Rules. IV (2021)
Adrian Kulmburg, Matthias Althoff
On the co-NP-completeness of the zonotope containment problem. Eur. J. Control 62 (2021)
Edmond Irani Liu, Matthias Althoff
Computing Specification-Compliant Reachable Sets for Motion Planning of Automated Vehicles. IV (2021)
Christian Pek, Matthias Althoff
Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization. IEEE Trans. Robotics 37 (3) (2021)
Sebastian Maierhofer, Moritz Klischat, Matthias Althoff
CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. ITSC (2021)
Niklas Kochdumper, Philipp Gassert, Matthias Althoff
Verification of Collision Avoidance for CommonRoad Traffic Scenarios. ARCH@ADHS (2021)
Bastian Schürmann, Matthias Althoff
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems. IEEE Trans. Autom. Control. 66 (3) (2021)
Niklas Kochdumper, Felix Gruber, Bastian Schürmann, Victor Gaßmann, Moritz Klischat, Matthias Althoff
AROC: a toolbox for automated reachset optimal controller synthesis. HSCC (2021)
Stefan B. Liu, Bastian Schürmann, Matthias Althoff
Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems. CoRR (2021)
Matthias Althoff, Jagat Jyoti Rath
Comparison of guaranteed state estimators for linear time-invariant systems. Autom. 130 (2021)
Markus Koschi, Matthias Althoff
Set-Based Prediction of Traffic Participants Considering Occlusions and Traffic Rules. IEEE Trans. Intell. Veh. 6 (2) (2021)
Victor Gaßmann, Matthias Althoff
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. ADHS (2021)
Matthias Althoff
Guaranteed State Estimation in CORA 2021. ARCH@ADHS (2021)
Matthias Althoff, Goran Frehse, Antoine Girard
Set Propagation Techniques for Reachability Analysis. Annu. Rev. Control. Robotics Auton. Syst. 4 (2021)
Gerald Würsching, Matthias Althoff
Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets. ITSC (2021)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS (2021)
Luis Gressenbuch, Matthias Althoff
Predictive Monitoring of Traffic Rules. ITSC (2021)
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Adaptive parameter tuning for reachability analysis of nonlinear systems. HSCC (2021)
Yuanfei Lin, Sebastian Maierhofer, Matthias Althoff
Sampling-Based Trajectory Repairing for Autonomous Vehicles. ITSC (2021)
Stefan B. Liu, Matthias Althoff
Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. IROS (2021)
Egon Ye, Gerald Würsching, Sascha Steyer, Matthias Althoff
Offline Dynamic Grid Generation for Automotive Environment Perception Using Temporal Inference Methods. IEEE Robotics Autom. Lett. 6 (3) (2021)
Matthias Althoff, Sebastian Maierhofer, Christian Pek
Provably-Correct and Comfortable Adaptive Cruise Control. IEEE Trans. Intell. Veh. 6 (1) (2021)
Xiao Wang, Hanna Krasowski, Matthias Althoff
CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. ITSC (2021)
Niklas Kochdumper, Matthias Althoff
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. IEEE Trans. Autom. Control. 66 (9) (2021)
Fanta Camara, Nicola Bellotto, Serhan Cosar, Florian Weber, Dimitris Nathanael, Matthias Althoff, Jingyuan Wu, Johannes Ruenz, André Dietrich, Gustav Markkula, Anna Schieben, Fabio Tango, Natasha Merat, Charles W. Fox
Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior. IEEE Trans. Intell. Transp. Syst. 22 (9) (2021)
Stefanie Manzinger, Christian Pek, Matthias Althoff
Using Reachable Sets for Trajectory Planning of Automated Vehicles. IEEE Trans. Intell. Veh. 6 (2) (2021)
Felix Gruber, Matthias Althoff
Scalable robust output feedback MPC of linear sampled-data systems. CDC (2021)
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. CDC (2020)

Matthias Althoff.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Althoff