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

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

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)

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

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

Map Verification and Repairing Using Formalized Map Specifications. - Sebastian Maierhofer; Yannick Ballnath; Matthias Althoff (ITSC, 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)

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