One significant barrier in introducing autonomous driving is the liability issue of a collision; e.g. when two autonomous vehicles collide, it is unclear which vehicle should be held accountable. To solve this issue, we view traffic rules from legal texts as requirements for autonomous vehicles. If we can prove that an autonomous vehicle always satisfies these requirements during its operation, then it cannot be held responsible in a collision. We present our approach by formalising a subset of traffic rules from the Vienna Convention on Road Traffic for highway scenarios in Isabelle/HOL.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formalising Traffic Rules for Accountability of Autonomous Vehicles


    Contributors:


    Publication date :

    2015-09-01


    Size :

    224671 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Formalising onboard training

    British Library Online Contents | 1997


    Formalising onboard training

    Online Contents | 1997


    TRAFFIC REDIRECTION FOR AUTONOMOUS VEHICLES

    SILVERSTEIN ZACHARY A / GRANT ROBERT HUNTINGTON / HEWITT TRUDY L et al. | European Patent Office | 2020

    Free access

    TRAFFIC CONTROL FOR AUTONOMOUS VEHICLES

    KUMAR KEERANOOR G | European Patent Office | 2019

    Free access

    A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

    Rizaldi, Albert / Immler, Fabian / Althoff, Matthias | British Library Conference Proceedings | 2016