To allow autonomous vehicles to safely participate in traffic and to avoid liability claims for car manufacturers, autonomous vehicles must obey traffic rules. However, current traffic rules are not formulated in a precise and mathematical way, so that they cannot be directly applied to autonomous vehicles. Additionally, several legal sources other than national traffic laws must be considered to infer detailed traffic rules. Thus, we formalize traffic rules for interstates based on the German Road Traffic Regulation, the Vienna Convention on Road Traffic, and legal decisions from courts. This makes it possible to automatically and unambiguously check whether traffic rules are being met by autonomous vehicles. Temporal logic is used to express the obtained rules mathematically. Our formalized traffic rules are evaluated for recorded data on more than 2,500 vehicles.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formalization of Interstate Traffic Rules in Temporal Logic




    Erscheinungsdatum :

    19.10.2020


    Format / Umfang :

    453895 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    FORMALIZATION OF INTERSTATE TRAFFIC RULES IN TEMPORAL LOGIC

    Maierhofer, Sebastian / Rettinger, Anna-Katharina / Mayer, Eva Charlotte et al. | British Library Conference Proceedings | 2020


    TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES

    Krasowski, Hanna / Althoff, Matthias | British Library Conference Proceedings | 2021


    Temporal Logic Formalization of Marine Traffic Rules

    Krasowski, Hanna / Althoff, Matthias | IEEE | 2021


    Formalization of Intersection Traffic Rules in Temporal Logic

    Maierhofer, Sebastian / Moosbrugger, Paul / Althoff, Matthias | IEEE | 2022


    TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules

    Manas, Kumar / Zwicklbauer, Stefan / Paschke, Adrian | IEEE | 2024