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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formalising Traffic Rules for Accountability of Autonomous Vehicles


    Beteiligte:


    Erscheinungsdatum :

    01.09.2015


    Format / Umfang :

    224671 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Formalising onboard training

    British Library Online Contents | 1997


    Formalising onboard training

    Online Contents | 1997



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

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


    Decision Making in Urban Traffic: A Game Theoretic Approach for Autonomous Vehicles Adhering to Traffic Rules

    Shu, Keqi / Ning, Minghao / Alghooneh, Ahmad et al. | ArXiv | 2025

    Freier Zugriff