Ensuring that autonomous vehicles do not cause accidents remains a challenge. We present a formal verification technique for guaranteeing legal safety in arbitrary urban traffic situations. Legal safety means that autonomous vehicles never cause accidents although other traffic participants are allowed to perform any behaviour in accordance with traffic rules. Our technique serves as a safety layer for existing motion planning frameworks that provide intended trajectories for autonomous vehicles. We verify whether intended trajectories comply with legal safety and provide fallback solutions in safety-critical situations. The benefits of our verification technique are demonstrated in critical urban scenarios, which have been recorded in real traffic. The autonomous vehicle executed only safe trajectories, even when using an intended trajectory planner that was not aware of other traffic participants. Our results indicate that our online verification technique can drastically reduce the number of traffic accidents. ; QC 20201211
Using online verification to prevent autonomous vehicles from causing accidents
2020-01-01
Scopus 2-s2.0-85090954454
Aufsatz (Zeitschrift)
Elektronische Ressource
Englisch
An audio visual aid that helps prevent accidents in vehicles
Europäisches Patentamt | 2019
|Anytime Safety Verification of Autonomous Vehicles
IEEE | 2018
|