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

Interaction-aware occupancy prediction of road vehicles. - Markus Koschi; 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)

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

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

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

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

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

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

Set-based Prediction of Traffic Participants and its Applications to Safe Motion Planning (Mengenbasierte Prädiktion von Verkehrsteilnehmern und ihre Anwendungen auf sichere Bewegungsplanung) - Markus Koschi (2021)