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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formalization of Interstate Traffic Rules in Temporal Logic




    Publication date :

    2020-10-19


    Size :

    453895 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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 | IEEE | 2021


    TEMPORAL LOGIC FORMALIZATION OF MARINE TRAFFIC RULES

    Krasowski, Hanna / Althoff, Matthias | British Library Conference Proceedings | 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