Safety Assessment of Autonomous Cars using Verification Techniques. - Matthias Althoff; Olaf Stursberg; Martin Buss (ACC, 2007)

Reachability analysis of linear systems with uncertain parameters and inputs. - Matthias Althoff; Olaf Stursberg; Martin Buss (CDC, 2007)

Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. - Matthias Althoff; Olaf Stursberg; Martin Buss (CDC, 2008)

Probabilistic mapping of dynamic obstacles using Markov chains for replanning in dynamic environments. - Florian Rohrmüller; Matthias Althoff; Dirk Wollherr; Martin Buss (IROS, 2008)

Sicherheitsbewertung von Fahrstrategien kognitiver Automobile (Safety Assessment of Driving Strategies of Cognitive Cars). - Matthias Althoff; Olaf Stursberg; Martin Buss (Autom., 2008)

Safety assessment for stochastic linear systems using enclosing hulls of probability density functions. - Matthias Althoff; Olaf Stursberg; Martin Buss (ECC, 2009)

Model-Based Probabilistic Collision Detection in Autonomous Driving. - Matthias Althoff; Olaf Stursberg; Martin Buss (IEEE Trans. Intell. Transp. Syst., 2009)

Probabilistic collision state checker for crowded environments. - Daniel Althoff; Matthias Althoff; Dirk Wollherr; Martin Buss (ICRA, 2010)

Safety verification of autonomous vehicles for coordinated evasive maneuvers. - Matthias Althoff; Daniel Althoff; Dirk Wollherr; Martin Buss (Intelligent Vehicles Symposium, 2010)

Zonotope bundles for the efficient computation of reachable sets. - Matthias Althoff; Bruce H. Krogh (CDC/ECC, 2011)

Reachable set computation for uncertain time-varying linear systems. - Matthias Althoff; Colas Le Guernic; Bruce H. Krogh (HSCC, 2011)

Set-based computation of vehicle behaviors for the online verification of autonomous vehicles. - Matthias Althoff; John M. Dolan (ITSC, 2011)

Comparison of Markov Chain Abstraction and Monte Carlo Simulation for the Safety Assessment of Autonomous Cars. - Matthias Althoff; Alexander Mergel (IEEE Trans. Intell. Transp. Syst., 2011)

Reachability computation of low-order models for the safety verification of high-order road vehicle models. - Matthias Althoff; John M. Dolan (ACC, 2012)

Avoiding geometric intersection operations in reachability analysis of hybrid systems. - Matthias Althoff; Bruce H. Krogh (HSCC, 2012)

Transient stability analysis by reachable set computation. - Matthias Althoff; Milos Cvetkovic; Marija Ilic (ISGT Europe, 2012)

Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. - Matthias Althoff (HSCC, 2013)

Road occupancy prediction of traffic participants. - Matthias Althoff; Daniel Hess; Florian Gambert (ITSC, 2013)

Should collision avoidance systems use yaw stabilization? - Daniel Hess; Matthias Althoff; Thomas Sattel (ITSC, 2013)

Comparison of trajectory tracking controllers for emergency situations. - Daniel Hess; Matthias Althoff; Thomas Sattel (Intelligent Vehicles Symposium, 2013)

Formal verification of phase-locked loops using reachability analysis and continuization. - Matthias Althoff; Akshay Rajhans; Bruce H. Krogh; Soner Yaldiz; Xin Li 001; Larry T. Pileggi (Commun. ACM, 2013)

Formal verification of maneuver automata for parameterized motion primitives. - Daniel Hess; Matthias Althoff; Thomas Sattel (IROS, 2014)

Reachability Analysis of Nonlinear Differential-Algebraic Systems. - Matthias Althoff; Bruce H. Krogh (IEEE Trans. Autom. Control., 2014)

Online Verification of Automated Road Vehicles Using Reachability Analysis. - Matthias Althoff; John M. Dolan (IEEE Trans. Robotics, 2014)

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 (ASP-DAC, 2015)

Control synthesis for non-polynomial systems: A domain of attraction perspective. - Dongkun Han; Matthias Althoff (CDC, 2015)

An Introduction to CORA 2015. - Matthias Althoff (ARCH@CPSWeek, 2015)

Safety control of robots under Computed Torque control using reachable sets. - Aaron Pereira; Matthias Althoff (ICRA, 2015)

Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets. - Daniel Althoff; Matthias Althoff; Sebastian A. Scherer (IROS, 2015)

Automatic centralized controller design for modular and reconfigurable robot manipulators. - Andrea Giusti; Matthias Althoff (IROS, 2015)

Formalising Traffic Rules for Accountability of Autonomous Vehicles. - Albert Rizaldi; Matthias Althoff (ITSC, 2015)

Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems. - Sebastian Sontges; Matthias Althoff (ITSC, 2015)

On time-memory trade-off for collision detection. - Albert Rizaldi; Sebastian Sontges; Matthias Althoff (Intelligent Vehicles Symposium, 2015)

On Computing the Minkowski Difference of Zonotopes. - Matthias Althoff (CoRR, 2015)

Cost-optimal composition synthesis for modular robots. - Esra Icer; Matthias Althoff (CCA, 2016)

On enlarging backward reachable sets via Zonotopic set membership. - Dongkun Han; Albert Rizaldi; Ahmed El-Guindy; Matthias Althoff (ISIC, 2016)

Ultimate robust performance control of rigid robot manipulators using interval arithmetic. - Andrea Giusti; Matthias Althoff (ACC, 2016)

Closed-form expressions of convex combinations. - Bastian Schürmann; Ahmed El-Guindy; Matthias Althoff (ACC, 2016)

STL Model Checking of Continuous and Hybrid Systems. - Hendrik Roehm; Jens Oehlerking; Thomas Heinz 001; Matthias Althoff (ATVA, 2016)

Combining zonotopes and support functions for efficient reachability analysis of linear systems. - Matthias Althoff; Goran Frehse (CDC, 2016)

On estimating the Robust Domain of Attraction for uncertain non-polynomial systems: An LMI approach. - Dongkun Han; Matthias Althoff (CDC, 2016)

Estimating the domain of attraction based on the invariance principle. - Dongkun Han; Ahmed El-Guindy; Matthias Althoff (CDC, 2016)

Implementation of Interval Arithmetic in CORA 2016. - Matthias Althoff; Dmitry Grebenyuk (ARCH@CPSWeek, 2016)

Reachset Conformance Testing of Hybrid Automata. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (HSCC, 2016)

A task-driven algorithm for configuration synthesis of modular robots. - Esra Icer; Andrea Giusti; Matthias Althoff (ICRA, 2016)

Overapproximative arm occupancy prediction for human-robot co-existence built from archetypal movements. - Aaron Pereira; Matthias Althoff (IROS, 2016)

Can automated road vehicles harmonize with traffic flow while guaranteeing a safe distance? - Matthias Althoff; Robert Lösch (ITSC, 2016)

Fail-safe motion planning of autonomous vehicles. - Silvia Magdici; Matthias Althoff (ITSC, 2016)

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler; Matthias Althoff (NFM, 2016)

Online motion synthesis with minimal intervention control and formal safety guarantees. - Martijn J. A. Zeestraten; Aaron Pereira; Matthias Althoff; Sylvain Calinon (SMC, 2016)

Set-Based Prediction of Traffic Participants on Arbitrary Road Networks. - Matthias Althoff; Silvia Magdici (IEEE Trans. Intell. Veh., 2016)

Compositional transient stability analysis of power systems via the computation of reachable sets. - Ahmed El-Guindy; Yu Christine Chen; Matthias Althoff (ACC, 2017)

Estimating the region of attraction via forward reachable sets. - Ahmed El-Guindy; Dongkun Han; Matthias Althoff (ACC, 2017)

Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems. - Bastian Schürmann; Matthias Althoff (ACC, 2017)

Online verification of multiple safety criteria for a robot trajectory. - Dario Beckert; Aaron Pereira; Matthias Althoff (CDC, 2017)

Methods for order reduction of zonotopes. - Anna-Kathrin Kopetzki; Bastian Schürmann; Matthias Althoff (CDC, 2017)

Enhancing motion safety by identifying safety-critical passageways. - Christian Pek; Markus Koschi; Moritz Werling; Matthias Althoff (CDC, 2017)

ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Dario Cattaruzza; Xin Chen 002; Goran Frehse; Rajarshi Ray 001; Stefan Schupp (ARCH@CPSWeek, 2017)

ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics. - Xin Chen 002; Matthias Althoff; Fabian Immler (ARCH@CPSWeek, 2017)

Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata. - Stanley Bak; Sergiy Bogomolov; Matthias Althoff (FORMATS, 2017)

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems. - Bastian Schürmann; Matthias Althoff (HSCC, 2017)

Combined inverse-dynamics/passivity-based control for robots with elastic joints. - Andrea Giusti; Jörn Malzahn; Nikolaos G. Tsagarakis; Matthias Althoff (ICRA, 2017)

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. - Albert Rizaldi; Jonas Keinholz; Monika Huber 001; Jochen Feldle; Fabian Immler; Matthias Althoff; Eric Hilgendorf; Tobias Nipkow (IFM, 2017)

Efficient Computation of Interval-Arithmetic-Based Robust Controllers for Rigid Robots. - Andrea Giusti; Matthias Althoff (IRC, 2017)

Evolutionary cost-optimal composition synthesis of modular robots considering a given task. - Esra Icer; Heba A. Hassan; Khaled El-Ayat; Matthias Althoff (IROS, 2017)

Provably safe motion of mobile robots in human environments. - Stefan B. Liu; Hendrik Roehm; Christian Heinzemann; Ingo Lütkebohle; Jens Oehlerking; Matthias Althoff (IROS, 2017)

Calculating human reachable occupancy for guaranteed collision-free planning. - Aaron Pereira; Matthias Althoff (IROS, 2017)

Comparison of trajectory tracking controllers for autonomous vehicles. - Davide Calzolari; Bastian Schürmann; Matthias Althoff (ITSC, 2017)

Interaction-aware occupancy prediction of road vehicles. - Markus Koschi; Matthias Althoff (ITSC, 2017)

Determining the maximum time horizon for vehicles to safely follow a trajectory. - Silvia Magdici; Zhenzhang Ye; Matthias Althoff (ITSC, 2017)

Negotiation of drivable areas of cooperative vehicles for conflict resolution. - Stefanie Manzinger; Matthias Althoff (ITSC, 2017)

Ensuring drivability of planned motions using formal methods. - Bastian Schürmann; Daniel Hess; Jan Eilbrecht; Olaf Stursberg; Frank Köster; Matthias Althoff (ITSC, 2017)

CommonRoad: Composable benchmarks for motion planning on roads. - Matthias Althoff; Markus Koschi; Stefanie Manzinger (Intelligent Vehicles Symposium, 2017)

SPOT: A tool for set-based prediction of traffic participants. - Markus Koschi; Matthias Althoff (Intelligent Vehicles Symposium, 2017)

Driving strategy selection for cooperative vehicles using maneuver templates. - Stefanie Manzinger; Marion Leibold; Matthias Althoff (Intelligent Vehicles Symposium, 2017)

Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules. - Christian Pek; Peter Zahn; Matthias Althoff (Intelligent Vehicles Symposium, 2017)

Computing possible driving corridors for automated vehicles. - Sebastian Sontges; Matthias Althoff (Intelligent Vehicles Symposium, 2017)

IEEE Transactions on Intelligent Vehicles New Senior Editors and Associate Editors. - Tankut Acarman; Matt Barth; Matthias Althoff; Nabil Aouf; Andreas A. Malikopoulos (IEEE Trans. Intell. Veh., 2017)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Xin Chen 002; Chuchu Fan; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@ADHS, 2018)

Implementation of Taylor models in CORA 2018. - Matthias Althoff; Dmitry Grebenyuk; Niklas Kochdumper (ARCH@ADHS, 2018)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Xin Chen 002; Chuchu Fan; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Mahendra Singh Tomar; Majid Zamani 001 (ARCH@ADHS, 2018)

A Formally Verified Motion Planner for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler; Bastian Schürmann; Matthias Althoff (ATVA, 2018)

Reachset Model Predictive Control for Disturbed Nonlinear Systems. - Bastian Schürmann; Niklas Kochdumper; Matthias Althoff (CDC, 2018)

Reachset Conformance Testing of Human Arms with a Biomechanical Model. - Cedric Stark; Aaron Pereira; Matthias Althoff (IRC, 2018)

Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics. - Michael Wagner 031; Stefan B. Liu; Andrea Giusti; Matthias Althoff (IRC, 2018)

Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots. - Stefan B. Liu; Matthias Althoff (IROS, 2018)

Hierarchical Path Planner Using Workspace Decomposition and Parallel Task-Space RRTs. - George Mesesan; Máximo A. Roa; Esra Icer; Matthias Althoff (IROS, 2018)

Efficient Computation of Invariably Safe States for Motion Planning of Self-Driving Vehicles. - Christian Pek; Matthias Althoff (IROS, 2018)

Anytime Safety Verification of Autonomous Vehicles. - Felix Gruber; Matthias Althoff (ITSC, 2018)

Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules. - Markus Koschi; Christian Pek; Mona Beikirch; Matthias Althoff (ITSC, 2018)

Tactical Decision Making for Cooperative Vehicles Using Reachable Sets. - Stefanie Manzinger; Matthias Althoff (ITSC, 2018)

High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning. - Branka Mirchevska; Christian Pek; Moritz Werling; Matthias Althoff; Joschka Boedecker (ITSC, 2018)

Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization. - Christian Pek; Matthias Althoff (ITSC, 2018)

Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles. - Matthias Althoff; Sebastian Lutz (Intelligent Vehicles Symposium, 2018)

Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles. - Christina Miller; Christian Pek; Matthias Althoff (Intelligent Vehicles Symposium, 2018)

Worst-case Analysis of the Time-To-React Using Reachable Sets. - Sebastian Sontges; Markus Koschi; Matthias Althoff (Intelligent Vehicles Symposium, 2018)

Probabilistic Map-based Pedestrian Motion Prediction Taking Traffic Participants into Consideration. - Jingyuan Wu; Johannes Ruenz; Matthias Althoff (Intelligent Vehicles Symposium, 2018)

Evaluating Location Compliance Approaches for Automated Road Vehicles. - Alexander Zhu; Stefanie Manzinger; Matthias Althoff (Intelligent Vehicles Symposium, 2018)

Automatic Conversion of Road Networks from OpenDRIVE to Lanelets. - Matthias Althoff; Stefan Urban; Markus Koschi (SOLI, 2018)

Flexible Automation Driven by Demonstration: Leveraging Strategies that Simplify Robotics. - Andrea Giusti; Martijn J. A. Zeestraten; Esra Icer; Aaron Pereira; Darwin G. Caldwell; Sylvain Calinon; Matthias Althoff (IEEE Robotics Autom. Mag., 2018)

Overapproximative Human Arm Occupancy Prediction for Collision Avoidance. - Aaron Pereira; Matthias Althoff (IEEE Trans Autom. Sci. Eng., 2018)

On-the-Fly Control Design of Modular Robot Manipulators. - Andrea Giusti; Matthias Althoff (IEEE Trans. Control. Syst. Technol., 2018)

Computing the Drivable Area of Autonomous Road Vehicles in Dynamic Road Scenes. - Sebastian Sontges; Matthias Althoff (IEEE Trans. Intell. Transp. Syst., 2018)

On the Combined Inverse-Dynamics/Passivity-Based Control of Elastic-Joint Robots. - Andrea Giusti; Jörn Malzahn; Nikolaos G. Tsagarakis; Matthias Althoff (IEEE Trans. Robotics, 2018)

Risk-aware motion planning for automated vehicle among human-driven cars. - Jin I. Ge; Bastian Schürmann; Richard M. Murray; Matthias Althoff (ACC, 2019)

A modal interface contract theory for guarded input/output automata with an application in traffic system design. - Tung Phan-Minh; Steve Guo; Bastian Schürmann; Matthias Althoff; Richard M. Murray (ACC, 2019)

Distributed Secure State Estimation Using Diffusion Kalman Filters and Reachability Analysis. - Amr Alanwar 001; Hazem Said; Matthias Althoff (CDC, 2019)

Scalable Robust Model Predictive Control for Linear Sampled-Data Systems. - Felix Gruber; Matthias Althoff (CDC, 2019)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Marcelo Forets; Goran Frehse; Niklas Kochdumper; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp (ARCH@CPSIoTWeek, 2019)

ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Marcelo Forets; Luca Geretti; Niklas Kochdumper; David P. Sanders; Christian Schilling 001 (ARCH@CPSIoTWeek, 2019)

Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems. - Markus Koschi; Christian Pek; Sebastian Maierhofer; Matthias Althoff (ITSC, 2019)

Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms. - Jingyuan Wu; Johannes Ruenz; Matthias Althoff (ITSC, 2019)

Model-based Offline Vehicle Tracking in Automotive Applications Using a Precise 3D Model. - Egon Ye; Matthias Althoff (ITSC, 2019)

Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms. - Moritz Klischat; Matthias Althoff (IV, 2019)

Coupling SUMO with a Motion Planning Framework for Automated Vehicles. - Moritz Klischat; Octav Dragoi; Mostafa Eissa; Matthias Althoff (SUMO, 2019)

Effortless creation of safe robots from modules through self-programming and self-verification. - Matthias Althoff; Andrea Giusti; Stefan B. Liu; Aaron Pereira (Sci. Robotics, 2019)

Model Conformance for Cyber-Physical Systems: A Survey. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (ACM Trans. Cyber Phys. Syst., 2019)

Scalable Zonotope-Ellipsoid Conversions using the Euclidean Zonotope Norm. - Victor Gaßmann; Matthias Althoff (ACC, 2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Stanley Bak; Zongnan Bao; Marcelo Forets; Goran Frehse; Daniel Freire; Niklas Kochdumper; Yangge Li; Sayan Mitra; Rajarshi Ray 001; Christian Schilling 001; Stefan Schupp; et al. (ARCH, 2020)

ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Alexandre Chapoutot; Xin Chen 002; Pieter Collins; Marcelo Forets; Daniel Freire; Fabian Immler; Niklas Kochdumper; David P. Sanders; et al. (ARCH, 2020)

Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. - Niklas Kochdumper; Ahmad Tarraf; Malgorzata Rechmal; Markus Olbrich; Lars Hedrich; Matthias Althoff (ASP-DAC, 2020)

Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems. - Niklas Kochdumper; Matthias Althoff (CDC, 2020)

Adaptive Parameter Tuning for Reachability Analysis of Linear Systems. - Mark Wetzlinger; Niklas Kochdumper; Matthias Althoff (CDC, 2020)

Reachability analysis for hybrid systems with nonlinear guard sets. - Niklas Kochdumper; Matthias Althoff (HSCC, 2020)

Utilizing dependencies to obtain subsets of reachable sets. - Niklas Kochdumper; Bastian Schürmann; Matthias Althoff (HSCC, 2020)

Event-Triggered Diffusion Kalman Filters. - Amr Alanwar 001; Hazem Said; Ankur Mehta; Matthias Althoff (ICCPS, 2020)

Falsification-Based Robust Adversarial Reinforcement Learning. - Xiao Wang 046; Saasha Nair; Matthias Althoff (ICMLA, 2020)

Optimizing performance in automation through modular robots. - Stefan B. Liu; Matthias Althoff (ICRA, 2020)

Automatic Synthesis of Human Motion from Temporal Logic Specifications. - Matthias Althoff; Matthias Mayer; Robert Müller (IROS, 2020)

A Multi-Step Approach to Accelerate the Computation of Reachable Sets for Road Vehicles. - Moritz Klischat; Matthias Althoff (ITSC, 2020)

Scenario Factory: Creating Safety-Critical Traffic Scenarios for Automated Vehicles. - Moritz Klischat; Edmond Irani Liu; Fabian Holtke; Matthias Althoff (ITSC, 2020)

Safe Reinforcement Learning for Autonomous Lane Changing Using Set-Based Prediction. - Hanna Krasowski; Xiao Wang 046; Matthias Althoff (ITSC, 2020)

Mutual Absolute Calibration of Lidar Mounting Positions on Vehicles using CAD Models. - Egon Ye; Matthias Althoff (ITSC, 2020)

Cooperative Raw Sensor Data Fusion for Ground Truth Generation in Autonomous Driving. - Egon Ye; Philip Spiegel; Matthias Althoff (ITSC, 2020)

Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles. - Moritz Klischat; Matthias Althoff (IV, 2020)

Provably-Safe Cooperative Driving via Invariably Safe Sets. - Edmond Irani Liu; Christian Pek; Matthias Althoff (IV, 2020)

Formalization of Interstate Traffic Rules in Temporal Logic. - Sebastian Maierhofer; Anna-Katharina Rettinger; Eva Charlotte Mayer; Matthias Althoff (IV, 2020)

CommonRoad Drivability Checker: Simplifying the Development and Validation of Motion Planning Algorithms. - Christian Pek; Vitaliy Rusinov; Stefanie Manzinger; Murat Can Üste; Matthias Althoff (IV, 2020)

Distributed Set-Based Observers Using Diffusion Strategy. - Amr Alanwar 001; Jagat Jyoti Rath; Hazem Said; Matthias Althoff (CoRR, 2020)

Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour. - Fanta Camara; Nicola Bellotto; Serhan Cosar; Florian Weber; Dimitris Nathanael; Matthias Althoff; Jingyuan Wu; Johannes Ruenz; André Dietrich; Gustav Markkula; Anna Schieben; Fabio Tango; et al. (CoRR, 2020)

Using online verification to prevent autonomous vehicles from causing accidents. - Christian Pek; Stefanie Manzinger; Markus Koschi; Matthias Althoff (Nat. Mach. Intell., 2020)

Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace. - Matthias Althoff (IEEE Trans. Autom. Control., 2020)

Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. - Victor Gaßmann; Matthias Althoff (ADHS, 2021)

Guaranteed State Estimation in CORA 2021. - Matthias Althoff (ARCH@ADHS, 2021)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Erika Ábrahám; Marcelo Forets; Goran Frehse; Daniel Freire; Christian Schilling 001; Stefan Schupp; Mark Wetzlinger (ARCH@ADHS, 2021)

ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - 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 001; et al. (ARCH@ADHS, 2021)

Verification of Collision Avoidance for CommonRoad Traffic Scenarios. - Niklas Kochdumper; Philipp Gassert; Matthias Althoff (ARCH@ADHS, 2021)

Scalable robust output feedback MPC of linear sampled-data systems. - Felix Gruber; Matthias Althoff (CDC, 2021)

AROC: a toolbox for automated reachset optimal controller synthesis. - Niklas Kochdumper; Felix Gruber; Bastian Schürmann; Victor Gaßmann; Moritz Klischat; Matthias Althoff (HSCC, 2021)

Adaptive parameter tuning for reachability analysis of nonlinear systems. - Mark Wetzlinger; Adrian Kulmburg; Matthias Althoff (HSCC, 2021)

Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction. - Stefan B. Liu; Matthias Althoff (IROS, 2021)

Predictive Monitoring of Traffic Rules. - Luis Gressenbuch; Matthias Althoff (ITSC, 2021)

Sampling-Based Trajectory Repairing for Autonomous Vehicles. - Yuanfei Lin; Sebastian Maierhofer; Matthias Althoff (ITSC, 2021)

CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles. - Sebastian Maierhofer; Moritz Klischat; Matthias Althoff (ITSC, 2021)

CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles. - Xiao Wang 046; Hanna Krasowski; Matthias Althoff (ITSC, 2021)

Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets. - Gerald Würsching; Matthias Althoff (ITSC, 2021)

Temporal Logic Formalization of Marine Traffic Rules. - Hanna Krasowski; Matthias Althoff (IV, 2021)

Computing Specification-Compliant Reachable Sets for Motion Planning of Automated Vehicles. - Edmond Irani Liu; Matthias Althoff (IV, 2021)

Set Propagation Techniques for Reachability Analysis. - Matthias Althoff; Goran Frehse; Antoine Girard (Annu. Rev. Control. Robotics Auton. Syst., 2021)

Comparison of guaranteed state estimators for linear time-invariant systems. - Matthias Althoff; Jagat Jyoti Rath (Autom., 2021)

Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems. - Stefan B. Liu; Bastian Schürmann; Matthias Althoff (CoRR, 2021)

Computing Safe Sets of Linear Sampled-Data Systems. - Felix Gruber; Matthias Althoff (IEEE Control. Syst. Lett., 2021)

On the co-NP-completeness of the zonotope containment problem. - Adrian Kulmburg; Matthias Althoff (Eur. J. Control, 2021)

Offline Dynamic Grid Generation for Automotive Environment Perception Using Temporal Inference Methods. - Egon Ye; Gerald Würsching; Sascha Steyer; Matthias Althoff (IEEE Robotics Autom. Lett., 2021)

Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis. - Niklas Kochdumper; Matthias Althoff (IEEE Trans. Autom. Control., 2021)

Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems. - Bastian Schürmann; Matthias Althoff (IEEE Trans. Autom. Control., 2021)

Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Tracking. - Fanta Camara; Nicola Bellotto; Serhan Cosar; Dimitris Nathanael; Matthias Althoff; Jingyuan Wu; Johannes Ruenz; André Dietrich; Charles W. Fox (IEEE Trans. Intell. Transp. Syst., 2021)

Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior. - Fanta Camara; Nicola Bellotto; Serhan Cosar; Florian Weber; Dimitris Nathanael; Matthias Althoff; Jingyuan Wu; Johannes Ruenz; André Dietrich; Gustav Markkula; Anna Schieben; Fabio Tango; et al. (IEEE Trans. Intell. Transp. Syst., 2021)

Provably-Correct and Comfortable Adaptive Cruise Control. - Matthias Althoff; Sebastian Maierhofer; Christian Pek (IEEE Trans. Intell. Veh., 2021)

Set-Based Prediction of Traffic Participants Considering Occlusions and Traffic Rules. - Markus Koschi; Matthias Althoff (IEEE Trans. Intell. Veh., 2021)

Using Reachable Sets for Trajectory Planning of Automated Vehicles. - Stefanie Manzinger; Christian Pek; Matthias Althoff (IEEE Trans. Intell. Veh., 2021)

Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization. - Christian Pek; Matthias Althoff (IEEE Trans. Robotics, 2021)

Supplementary data for "Velocity Estimation of Robot Manipulators: An Experimental Comparison". - Stefan B. Liu; Andrea Giusti; Matthias Althoff (IEEE DataPort, 2021)

Benchmarks for the Formal Verification of Power Systems. - Matthias Althoff (ARCH@SAFECOMP, 2022)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Marcelo Forets; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

Implementation of Ellipsoidal Operations in CORA 2022. - Victor Gaßmann; Matthias Althoff (ARCH@SAFECOMP, 2022)

ARCH-COMP22 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Parasara Sridhar Duggirala; Marcelo Forets; Edward Kim; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger (ARCH@SAFECOMP, 2022)

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Matthias Althoff; Luis Benet; Xin Chen 002; Jiameng Fan; Marcelo Forets; Chao Huang 015; Taylor T. Johnson; Tobias Ladner; Wenchao Li 001; Christian Schilling 001; Qi Zhu 002 (ARCH@SAFECOMP, 2022)

Contingency-constrained economic dispatch with safe reinforcement learning. - Michael Eichelbeck; Hannah Markgraf; Matthias Althoff (ICMLA, 2022)

SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis. - Sven R. Schepp; Jakob Thumm; Stefan B. Liu; Matthias Althoff (ICRA, 2022)

Provably Safe Deep Reinforcement Learning for Robotic Manipulation in Human Environments. - Jakob Thumm; Matthias Althoff (ICRA, 2022)

MONA: The Munich Motion Dataset of Natural Driving. - Luis Gressenbuch; Klemens Esterle; Tobias Kessler; Matthias Althoff (ITSC, 2022)

Minimum-Violation Velocity Planning with Temporal Logic Constraints. - Patrick Halder; Matthias Althoff (ITSC, 2022)

CommonOcean: Composable Benchmarks for Motion Planning on Oceans. - Hanna Krasowski; Matthias Althoff (ITSC, 2022)

Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets. - Hanna Krasowski; Yinqiang Zhang; Matthias Althoff (ITSC, 2022)

CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles. - Edmond Irani Liu; Gerald Würsching; Moritz Klischat; Matthias Althoff (ITSC, 2022)

Learning to Obey Traffic Rules using Constrained Policy Optimization. - Xiao Wang 046; Christoph Pillmayer; Matthias Althoff (ITSC, 2022)

Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories. - Yuanfei Lin; Matthias Althoff (IV, 2022)

Formalization of Intersection Traffic Rules in Temporal Logic. - Sebastian Maierhofer; Paul Moosbrugger; Matthias Althoff (IV, 2022)

Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications. - Cees Ferdinand Verdier; Niklas Kochdumper; Matthias Althoff; Manuel Mazo Jr. 002 (Autom., 2022)

cRoK: A Composable Robotics Benchmark. - Matthias Mayer; Jonathan Külz; Matthias Althoff (CoRR, 2022)

Provably Safe Reinforcement Learning: A Theoretical and Experimental Comparison. - Hanna Krasowski; Jakob Thumm; Marlon Müller; Xiao Wang 046; Matthias Althoff (CoRR, 2022)

Provably Safe Reinforcement Learning via Action Projection using Reachability Analysis and Polynomial Zonotopes. - Niklas Kochdumper; Hanna Krasowski; Xiao Wang 046; Stanley Bak; Matthias Althoff (CoRR, 2022)

Verifiably Safe Reinforcement Learning with Probabilistic Guarantees via Temporal Logic. - Hanna Krasowski; Prithvi Akella; Aaron D. Ames; Matthias Althoff (CoRR, 2022)

Formal Safety Net Control Using Backward Reachability Analysis. - Bastian Schürmann; Moritz Klischat; Niklas Kochdumper; Matthias Althoff (IEEE Trans. Autom. Control., 2022)

Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems. - Andrea Giusti; Stefan B. Liu; Matthias Althoff (IEEE Trans. Control. Syst. Technol., 2022)

Checking and Establishing Reachset Conformance in CORA 2023. - Matthias Althoff (ARCH, 2023)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. - Matthias Althoff; Marcelo Forets; Yangge Li; Sayan Mitra; Christian Schilling 001; Mark Wetzlinger; Daniel Zhuang (ARCH, 2023)

ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Luca Geretti; Julien Alexandre Dit Sandretto; Matthias Althoff; Luis Benet; Pieter Collins; Marcelo Forets; Elena Ivanova; Yangge Li; Sayan Mitra; Stefan Mitsch; Christian Schilling 001; Mark Wetzlinger; et al. (ARCH, 2023)

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Matthias Althoff; Marcelo Forets; Taylor T. Johnson; Tobias Ladner; Christian Schilling 001 (ARCH, 2023)

Safe Reinforcement Learning with Probabilistic Guarantees Satisfying Temporal Logic Specifications in Continuous Action Spaces. - Hanna Krasowski; Prithvi Akella; Aaron D. Ames; Matthias Althoff (CDC, 2023)

Reachability Analysis of ARMAX Models. - Laura Lützow; Matthias Althoff (CDC, 2023)

Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis. - Tobias Ladner; Matthias Althoff (HSCC, 2023)

Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions. - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (HSCC, 2023)

Deep Occupancy-Predictive Representations for Autonomous Driving. - Eivind Meyer; Lars Frederik Peiss; Matthias Althoff (ICRA, 2023)

Timor Python: A Toolbox for Industrial Modular Robotics. - Jonathan Külz; Matthias Mayer; Matthias Althoff (IROS, 2023)

Reducing Safety Interventions in Provably Safe Reinforcement Learning. - Jakob Thumm; Guillaume Pelat; Matthias Althoff (IROS, 2023)

Safe Multi-Agent Reinforcement Learning for Price-Based Demand Response. - Hannah Markgraf; Matthias Althoff (ISGT EUROPE, 2023)

Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis. - Florian Finkeldei; Matthias Althoff (ITSC, 2023)

Lexicographic Mixed-Integer Motion Planning with STL Constraints. - Patrick Halder; Fabian Christ; Matthias Althoff (ITSC, 2023)

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad. - Yuanfei Lin; Michael Ratzel; Matthias Althoff (ITSC, 2023)

Map Verification and Repairing Using Formalized Map Specifications. - Sebastian Maierhofer; Yannick Ballnath; Matthias Althoff (ITSC, 2023)

Graph-Based Autonomous Driving with Traffic-Rule-Enhanced Curriculum Learning. - Lars Frederik Peiss; Elias Wohlgemuth; Fan Xue; Eivind Meyer; Luis Gressenbuch; Matthias Althoff (ITSC, 2023)

CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles. - Yuanfei Lin; Matthias Althoff (IV, 2023)

Geometric Deep Learning for Autonomous Driving: Unlocking the Power of Graph Neural Networks With CommonRoad-Geometric. - Eivind Meyer; Maurice Brenner; Bowen Zhang; Max Schickert; Bilal Musani; Matthias Althoff (IV, 2023)

Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes. - Niklas Kochdumper; Christian Schilling 001; Matthias Althoff; Stanley Bak (NFM, 2023)

The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems. - Alessandro Abate; Matthias Althoff; Lei Bu; Gidon Ernst; Goran Frehse; Luca Geretti; Taylor T. Johnson; Claudio Menghi; Stefan Mitsch; Stefan Schupp; Sadegh Soudjani (TOOLympics@ETAPS, 2023)

Specification-Driven Neural Network Reduction for Scalable Formal Verification. - Tobias Ladner; Matthias Althoff (CoRR, 2023)

Formal Verification of Robotic Contact Tasks via Reachability Analysis. - Chencheng Tang; Matthias Althoff (CoRR, 2023)

EDGAR: An Autonomous Driving Research Platform - From Feature Development to Real-World Application. - 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; et al. (CoRR, 2023)

Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation. - Mark Wetzlinger; Matthias Althoff (CoRR, 2023)

Privacy-preserving set-based estimation using partially homomorphic encryption. - Amr Alanwar 001; Victor Gaßmann; Xingkang He; Hazem Said; Henrik Sandberg; Karl Henrik Johansson; Matthias Althoff (Eur. J. Control, 2023)

Provably Safe Reinforcement Learning: Conceptual Analysis, Survey, and Benchmarking. - Hanna Krasowski; Jakob Thumm; Marlon Müller; Lukas Schäfer 004; Xiao Wang 046; Matthias Althoff (Trans. Mach. Learn. Res., 2023)

Computation of Solution Spaces for Optimization-Based Trajectory Planning. - Lukas Schäfer 004; Stefanie Manzinger; Matthias Althoff (IEEE Trans. Intell. Veh., 2023)

Falsifying Motion Plans of Autonomous Vehicles With Abstractly Specified Traffic Scenarios. - Moritz Klischat; Matthias Althoff (IEEE Trans. Intell. Veh., 2023)

Cooperative interacting automobiles. - Christoph Stiller; Matthias Althoff (Autom., 2023)

Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges. - Noushin Mehdipour; Matthias Althoff; Radboud J. Duintjer Tebbens; Calin Belta (Autom., 2023)

Distributed set-based observers using diffusion strategies. - Amr Al-Anwar 001; Jagat Jyoti Rath; Hazem Said; Karl Henrik Johansson; Matthias Althoff (J. Frankl. Inst., 2023)

Constrained polynomial zonotopes. - Niklas Kochdumper; Matthias Althoff (Acta Informatica, 2023)

Specification-Compliant Driving Corridors for Motion Planning of Automated Vehicles. - Edmond Irani Liu; Matthias Althoff (IEEE Trans. Intell. Veh., 2023)

Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study. - Aaron Pereira; Mareike Baumann; Jonas Gerstner; Matthias Althoff (IEEE Trans Autom. Sci. Eng., 2023)

Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification. - Stefan B. Liu; Bastian Schürmann; Matthias Althoff (IEEE Trans. Robotics, 2023)

Model Predictive Robustness of Signal Temporal Logic Predicates. - Yuanfei Lin; Haoxuan Li 005; Matthias Althoff (IEEE Robotics Autom. Lett., 2023)

Scalable Robust Safety Filter With Unknown Disturbance Set. - Felix Gruber; Matthias Althoff (IEEE Trans. Autom. Control., 2023)

Fully Automated Verification of Linear Systems Using Inner and Outer Approximations of Reachable Sets. - Mark Wetzlinger; Niklas Kochdumper; Stanley Bak; Matthias Althoff (IEEE Trans. Autom. Control., 2023)

Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification. - Tobias Ladner; Matthias Althoff (AAAI, 2024)

Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis. - Lukas Schäfer 004; Matthias Althoff (ACC, 2024)

Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems. - Florian Lercher; Matthias Althoff (CAV (3), 2024)

Text2Interaction: Establishing Safe and Preferable Human-Robot Interaction. - Jakob Thumm; Christopher Agia; Marco Pavone 001; Matthias Althoff (CoRL, 2024)

Search-based and Stochastic Solutions to the Zonotope and Ellipsotope Containment Problems. - Adrian Kulmburg; Ivan Brkan; Matthias Althoff (ECC, 2024)

Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach. - Jonathan Külz; Matthias Althoff (ICRA, 2024)

CoBRA: A Composable Benchmark for Robotics Applications. - Matthias Mayer; Jonathan Külz; Matthias Althoff (ICRA, 2024)

Human-Robot Gym: Benchmarking Reinforcement Learning in Human-Robot Collaboration. - Jakob Thumm; Felix Trost; Matthias Althoff (ICRA, 2024)

Efficient Path Planning for Modular Reconfigurable Robots. - Matthias Mayer; Zihao Li; Matthias Althoff (IROS, 2024)

Efficiently Obtaining Reachset Conformance for the Formal Analysis of Robotic Contact Tasks. - Chencheng Tang; Matthias Althoff (IROS, 2024)

Interaction-Aware Trajectory Repair in Compliance with Formalized Traffic Rules. - Youran Wang; Yuanfei Lin; Matthias Althoff (ITSC, 2024)

Provably Correct Safety Protocol for Cooperative Platooning. - Sebastian Mair 003; Matthias Althoff (IV, 2024)

Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking. - Florian Lercher; Matthias Althoff (IV, 2024)

CommonRoad-CARLA Interface: Bridging the Gap between Motion Planning and 3D Simulation. - Sebastian Maierhofer; Matthias Althoff (IV, 2024)

Rule-Compliant Multi-Agent Driving Corridor Generation using Reachable Sets and Combinatorial Negotiations. - Tobias Mascetta; Edmond Irani Liu; Matthias Althoff (IV, 2024)

Robust and Efficient Curvilinear Coordinate Transformation with Guaranteed Map Coverage for Motion Planning. - Gerald Würsching; Matthias Althoff (IV, 2024)

Simplifying Sim-to-Real Transfer in Autonomous Driving: Coupling Autoware with the CommonRoad Motion Planning Framework. - Gerald Würsching; Tobias Mascetta; Yuanfei Lin; Matthias Althoff (IV, 2024)

Excluding the Irrelevant: Focusing Reinforcement Learning through Continuous Action Masking. - Roland Stolz; Hanna Krasowski; Jakob Thumm; Michael Eichelbeck; Philipp Gassert; Matthias Althoff (NeurIPS, 2024)

End-To-End Set-Based Training for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2024)

DrPlanner: Diagnosis and Repair of Motion Planners Using Large Language Models. - Yuanfei Lin; Chenran Li; Mingyu Ding; Masayoshi Tomizuka; Wei Zhan; Matthias Althoff (CoRR, 2024)

CommonPower: Supercharging Machine Learning for Smart Grids. - Michael Eichelbeck; Hannah Markgraf; Matthias Althoff (CoRR, 2024)

Reachset-Conformant System Identification. - Laura Lützow; Matthias Althoff (CoRR, 2024)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning. - Manuel Wendl; Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2024)

Stepping Out of the Shadows: Reinforcement Learning in Shadow Mode. - Philipp Gassert; Matthias Althoff (CoRR, 2024)

Results of the 2023 CommonRoad Motion Planning Competition for Autonomous Vehicles. - Niklas Kochdumper; Youran Wang; Johannes Betz; Matthias Althoff (CoRR, 2024)

A General Safety Framework for Autonomous Manipulation in Human Environments. - Jakob Thumm; Julian Balletshofer; Leonardo Maglanoc; Luis Muschal; Matthias Althoff (CoRR, 2024)

Traffic-Rule-Compliant Trajectory Repair via Satisfiability Modulo Theories and Reachability Analysis. - Yuanfei Lin; Zekun Xing; Xuyuan Han; Matthias Althoff (CoRR, 2024)

Holistic Construction Automation with Modular Robots: From High-Level Task Specification to Execution. - Jonathan Külz; Michael Terzer; Marco Magri; Andrea Giusti; Matthias Althoff (CoRR, 2024)

Scalable Reachset-Conformant Identification of Linear Systems. - Laura Lützow; Matthias Althoff (IEEE Control. Syst. Lett., 2024)

Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference. - Mark Wetzlinger; Adrian Kulmburg; Matthias Althoff (IEEE Control. Syst. Lett., 2024)

Publishers' Note to "Distributed set-based observers using diffusion strategies" [Journal of the Franklin Institute 360 (2023) 6976-6993]. - Amr Al-Anwar 001; Jagat Jyoti Rath; Hazem Said; Karl Henrik Johansson; Matthias Althoff (J. Frankl. Inst., 2024)

Resilience in Platoons of Cooperative Heterogeneous Vehicles: Self-Organization Strategies and Provably-Correct Design. - Di Liu 001; Sebastian Mair 003; Kang Yang; Simone Baldi; Paolo Frasca; Matthias Althoff (IEEE Trans. Intell. Veh., 2024)

Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems. - Lukas Schäfer 004; Felix Gruber; Matthias Althoff (IEEE Trans. Autom. Control., 2024)

Using Four-Valued Signal Temporal Logic for Incremental Verification of Hybrid Systems - Artifact. - Florian Lercher; Matthias Althoff (Zenodo, 2024)

Goal-Oriented Pedestrian Motion Prediction. - Jingyuan Wu; Johannes Ruenz; Hendrik Berkemeyer; Liza Dixon; Matthias Althoff (IEEE Trans. Intell. Transp. Syst., 2024)

Safe Reinforcement Learning for Automated Vehicles via Online Reachability Analysis. - Xiao Wang 046; Matthias Althoff (IEEE Trans. Intell. Veh., 2024)

DrPlanner: Diagnosis and Repair of Motion Planners for Automated Vehicles Using Large Language Models. - Yuanfei Lin; Chenran Li; Mingyu Ding; Masayoshi Tomizuka; Wei Zhan; Matthias Althoff (IEEE Robotics Autom. Lett., 2024)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea. - Hanna Krasowski; Matthias Althoff (IEEE Trans. Intell. Veh., 2024)

Recursive Identification of Reachset-Conformant Models using Constraint Underapproximation. - Laura Lützow; Matthias Althoff (ACC, 2025)

Formally Verifying Analog Neural Networks with Device Mismatch Variations. - Yasmine Abu-Haeyeh; Thomas Bartelsmeier; Tobias Ladner; Matthias Althoff; Lars Hedrich; Markus Olbrich (DATE, 2025)

Wind Turbine Fault Classification Based on Reconstruction Errors of SCADA Data. - Michael Eichelbeck; Max Adam; Kenneth Laureys; Milena Zurmühl; Matthias Althoff (e-Energy, 2025)

Underapproximative Methods for the Order Reduction of Zonotopes. - Laura Lützow; Niklas Kochdumper; Matthias Althoff (IEEE Control. Syst. Lett., 2025)

Set-Based Training for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (Trans. Mach. Learn. Res., 2025)

Fully Automatic Neural Network Reduction for Formal Verification. - Tobias Ladner; Matthias Althoff (Trans. Mach. Learn. Res., 2025)

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure. - Tobias Ladner; Michael Eichelbeck; Matthias Althoff (Trans. Mach. Learn. Res., 2025)

Intelligent Sailing Model for Open Sea Navigation. - Hanna Krasowski; Stefan Schärdinger; Murat Arcak; Matthias Althoff (CoRR, 2025)

Training robust neural networks for uncertainty prediction in stamping technology. - Lukas Koller; Christoph Hartmann 003; Lukas Martinitz; Wolfram Volk; Matthias Althoff (Autom., 2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization. - Patrick Halder; Hannes Homburger; Lothar Kiltz; Johannes Reuter; Matthias Althoff (CoRR, 2025)

Predictive Traffic Rule Compliance using Reinforcement Learning. - Yanliang Huang; Sebastian Mair 003; Zhuoqi Zeng; Amr Alanwar 001; Matthias Althoff (CoRR, 2025)

Smart Placement, Faster Robots - A Comparison of Algorithms for Robot Base-Pose Optimization. - Matthias Mayer; Matthias Althoff (CoRR, 2025)

Holistic Optimization of Modular Robots. - Matthias Mayer; Matthias Althoff (CoRR, 2025)

Language Models That Walk the Talk: A Framework for Formal Fairness Certificates. - Danqing Chen; Tobias Ladner; Ahmed Rayen Mhadhbi; Matthias Althoff (CoRR, 2025)

PyTupli: A Scalable Infrastructure for Collaborative Offline Reinforcement Learning Projects. - Hannah Markgraf; Michael Eichelbeck; Daria Cappey; Selin Demirtürk; Yara Schattschneider; Matthias Althoff (CoRR, 2025)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification. - Lukas Koller; Tobias Ladner; Matthias Althoff (CoRR, 2025)

Provably Safe Reinforcement Learning from Analytic Gradients. - Tim Walter; Hannah Markgraf; Jonathan Külz; Matthias Althoff (CoRR, 2025)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations. - Shahaf Bassan; Yizhak Yisrael Elboher; Tobias Ladner; Matthias Althoff; Guy Katz (CoRR, 2025)

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks. - Laura Lützow; Michael Eichelbeck; Mykel J. Kochenderfer; Matthias Althoff (CoRR, 2025)

Automatic Geometric Decomposition for Analytical Inverse Kinematics. - Daniel Ostermeier; Jonathan Külz; Matthias Althoff (IEEE Robotics Autom. Lett., 2025)