Cooperative Autonomous Driving with Safety Guarantees (KoSi)


Benefits of automated driving will only be fully realized if vehicles behave cooperatively. A major obstacle to this promising vision is a mathematically based safety guarantee that safeguards the automated system under any environmental conditions. Efforts in this direction are particularly challenging because every driving situation is different and thus the driving functions to be automated cannot be verified in advance, so the vehicle must constantly verify itself. In addition, it is not yet clear how artificial intelligence for autonomous driving functions can be efficiently safeguarded.

Main Objective

We will realize comfortable, economical, and safe driving with a unified approach by progressively refining safe and rapidly predictable solutions using artificial intelligence. A novel approach will be developed in which automated vehicles cooperatively coordinate driving strategies that are subsequently optimized and verified. The necessary calculations are distributed across multiple communicating vehicles, while still guaranteeing correctness - even in case of communication failure. Robust sensor technology taking AI elements into account is used to prevent manipulation by possible attacks.


We create a framework that holistically considers driving behavior prediction, maneuver and trajectory planning, and formal verification to guarantee inherent correctness of vehicle guidance. Specifically, we consider correct behavior under communication failure, mixed traffic with human drivers and automated vehicles, parameter uncertainties, sensory capabilities, external influences, and the future behavior of other road users.

Developed Tools and Benchmarks


[1]   Lin, Yuanfei; Maierhofer, Sebastian; Althoff, Matthias: Sampling-Based Trajectory Repairing for Autonomous Vehicles. 2021 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2021, 572-579.  [ .bib | .pdf ]
[2]   Tobias Kessler; Klemens Esterle; Alois Knoll: Mixed-Integer Motion Planning on German Roads within the Apollo Driving Stack. IEEE Transactions on Intelligent Vehicles.  [.pdf ]  
[3]   Lin, Yuanfei; Althoff, Matthias: Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories. 2022 IEEE Intelligent Vehicles Symposium (IV), 2022.  [ .bib | .pdf ]
[4]   Gressenbuch, Luis; Esterle, Klemens; Kessler, Tobias; Althoff, Matthias: MONA: The Munich Motion Dataset of Natural Driving. 2022 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2022.
[5]   Wang, Xiao; Pillmayer, Christoph; Althoff, Matthias: Learning to Obey Traffic Rules using Constrained Policy    Optimization. 2022 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2022.  [ .bib | .pdf ]
[6] Klischat, Moritz; Althoff, Matthias: Falsifying Motion Plans of Autonomous Vehicles with Abstractly Specified Traffic Scenarios. IEEE Transactions on Intelligent Vehicles, 2022.  [ .pdf ]
[7] Roehm, Hendrik; Rausch, Alexander; Althoff, Matthias: Reachset Conformance and Automatic Model Adaptation for Hybrid Systems. Mathematics 10.19 (2022): 3567.  [ .pdf ]
[8] Meyer, Eivind; Frederik Peiss; Lars, Althoff, Matthias: Deep Occupancy-Predictive Representations for Autonomous Driving. 2023 IEEE International Conference on Robotics and Automation, 2023. [.pdf]
[9] Lin, Yuanfei; Althoff, Matthias: CommonRoad-CriMe: A Toolbox for Criticality Measures of Autonomous Vehicles. 2023 IEEE Intelligent Vehicles Symposium (IV), 2023. [.pdf]  
[10] Meyer, Eivind; Brenner, Maurice; Zhang, Bowen; Schickert, Max; Musani, Bilal; Althoff, Matthias. Geometric deep learning for autonomous driving: Unlocking the power of graph neural networks with CommonRoad-Geometric. 2023 IEEE Intelligent Vehicles Symposium (IV), 2023. [.pdf]
[11] Peiss, Lars Frederik; Wohlgemuth, Elias; Xue, Fan; Meyer, Eivind; Gressenbuch, Luis; Althoff, Matthias: Graph-Based Autonomous Driving with Traffic-Rule-Enhanced Curriculum Learning. 2023 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2023.  [.pdf]  
[12] Lin, Yuanfei; Ratzel, Michael; Althoff, Matthias: Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad. 2023 IEEE International Conference on Intelligent Transportation Systems (ITSC), 2023. [.pdf]
[13] Bachmann, Marek; Vartziotis, Tina; Otte, Dennis; Köhler, Michael; Materne, Stefan, and Beutenmueller, Frank. "Exploring the Impact of Human Behaviour in Common Collision Scenarios Based on Digital Twin Simulations." In International Stuttgart Symposium, pp. 429-439. Wiesbaden: Springer Fachmedien Wiesbaden, 2023. [.pdf]