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

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

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

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

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

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

Specification-Compliant Reachability Analysis for Motion Planning of Automated Vehicles (Spezifikationskonforme Erreichbarkeitsanalyse für die Bewegungsplanung von automatisierten Fahrzeugen) - Edmond Irani Liu (2024)