Matthias Althoff

ORCID

Publication Activity (10 Years)

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

Top Venues

CoRR

ITSC

CDC

Publications

Tobias Mascetta, Edmond Irani Liu, Matthias Althoff
Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations. IV (2024)
Roland Stolz, Hanna Krasowski, Jakob Thumm, Michael Eichelbeck, Philipp Gassert, Matthias Althoff
Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking. CoRR (2024)
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference. IEEE Control. Syst. Lett. 8 (2024)
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. IEEE Trans. Intell. Veh. 9 (1) (2024)
Florian Lercher, Matthias Althoff
Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking. IV (2024)
Tobias Ladner, Matthias Althoff
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. AAAI (2024)
Jonathan Külz, Matthias Althoff
Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach. ICRA (2024)
Lukas Koller, Tobias Ladner, Matthias Althoff
End-To-End Set-Based Training for Neural Network Verification. CoRR (2024)
Florian Lercher, Matthias Althoff
Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. CAV (3) (2024)
Laura Lützow, Matthias Althoff
Scalable Reachset-Conformant Identification of Linear Systems. IEEE Control. Syst. Lett. 8 (2024)
Michael Eichelbeck, Hannah Markgraf, Matthias Althoff
CommonPower: Supercharging Machine Learning for Smart Grids. CoRR (2024)
Adrian Kulmburg, Ivan Brkan, Matthias Althoff
Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems. ECC (2024)
Laura Lützow, Matthias Althoff
Reachset-Conformant System Identification. CoRR (2024)
Amr Al-Anwar, Jagat Jyoti Rath, Hazem Said, Karl Henrik Johansson, Matthias Althoff
Publishers' Note to "Distributed set-based observers using diffusion strategies" [Journal of the Franklin Institute 360 (2023) 6976-6993]. J. Frankl. Inst. 361 (6) (2024)
Hanna Krasowski, Matthias Althoff
Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. CoRR (2024)
Matthias Mayer, Jonathan Külz, Matthias Althoff
CoBRA: A Composable Benchmark for Robotics Applications. ICRA (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. IV (2024)
Sebastian Maierhofer, Matthias Althoff
CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning and 3D Simulation. IV (2024)
Gerald Würsching, Tobias Mascetta, Yuanfei Lin, Matthias Althoff
Simplifying Sim-to-Real Transfer in Autonomous Driving: Coupling Autoware with the CommonRoad Motion Planning Framework. IV (2024)
Jingyuan Wu, Johannes Ruenz, Hendrik Berkemeyer, Liza Dixon, Matthias Althoff
Goal-Oriented Pedestrian Motion Prediction. IEEE Trans. Intell. Transp. Syst. 25 (6) (2024)
Yuanfei Lin, Chenran Li, Mingyu Ding, Masayoshi Tomizuka, Wei Zhan, Matthias Althoff
DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models. CoRR (2024)
Jakob Thumm, Felix Trost, Matthias Althoff
Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration. ICRA (2024)
Gerald Würsching, Matthias Althoff
Robust and Efficient Curvilinear Coordinate Transformation with Guaranteed Map Coverage for Motion Planning. IV (2024)
Tobias Ladner, Michael Eichelbeck, Matthias Althoff
Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure. CoRR (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)
Hanna Krasowski, Jakob Thumm, Marlon Müller, Lukas Schäfer, Xiao Wang, Matthias Althoff
Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking. Trans. Mach. Learn. Res. 2023 (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)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH (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)
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH (2023)
Yuanfei Lin, Michael Ratzel, Matthias Althoff
Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad. ITSC (2023)
Matthias Althoff
Checking and Establishing Reachset Conformance in CORA 2023. ARCH (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)
Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH (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)
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP (2022)
Victor Gaßmann, Matthias Althoff
Implementation of Ellipsoidal Operations in CORA 2022. ARCH@SAFECOMP (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)
Matthias Althoff
Benchmarks for the Formal Verification of Power Systems. ARCH@SAFECOMP (2022)
Yuanfei Lin, Matthias Althoff
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories. IV (2022)
Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Stefan Mitsch, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@SAFECOMP (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 Althoff, Marcelo Forets, Christian Schilling, Mark Wetzlinger
ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@SAFECOMP (2022)

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

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Althoff