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


    Access

    Download


    Export, share and cite



    Title :

    Using online verification to prevent autonomous vehicles from causing accidents


    Contributors:

    Publication date :

    2020-01-01


    Remarks:

    Scopus 2-s2.0-85090954454



    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    380 / 629



    MULTI COMPONENTS TO PREVENT VEHICLES FROM ACCIDENTS

    ANNADURAI P | European Patent Office | 2020

    Free access

    Multi components to prevent vehicles from accidents

    ANNADURAI P | European Patent Office | 2021

    Free access


    An audio visual aid that helps prevent accidents in vehicles

    ROY HENRY BOOKER | European Patent Office | 2019

    Free access

    Anytime Safety Verification of Autonomous Vehicles

    Gruber, Felix / Althoff, Matthias | IEEE | 2018