Autonomous vehicles need to be designed to abide by the same rules that humans follow. This is challenging, because traffic rules are fuzzy and not well defined, making them incomprehensible to machines. Satisfaction cannot be incorporated in a planning component without proper formalization, nor can it be monitored and verified during simulation or testing. However, no research work has provided a consistent set of machine-interpretable traffic rules for a given operational driving domain. In this paper, we propose a methodology for the legal study and formalization of traffic rules in a formal language. We use Linear Temporal Logic as a formal specification language to describe temporal behaviors, capable of capturing a wide range of traffic rules. We contribute a formalized set of traffic rules for dual carriageways and evaluate the effectiveness of our formalized rules on a public dataset.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formalizing Traffic Rules for Machine Interpretability


    Beteiligte:
    Esterle, Klemens (Autor:in) / Gressenbuch, Luis (Autor:in) / Knoll, Alois (Autor:in)


    Erscheinungsdatum :

    01.11.2020


    Format / Umfang :

    900775 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Towards Safe Navigation by Formalizing Navigation Rules

    Arne Kreutzmann / Diedrich Wolter / Frank Dylla et al. | DOAJ | 2013

    Freier Zugriff


    Formalizing Ordinary Differential Equations in PVS

    Kyle Wianecki / Tanner Slagel / Aaron Dutle | NTRS


    Formalizing and Evaluating the Concurrent Engineering Process

    Bhuiyan, N. / Thomson, V. / Canadian Society for Mechanical Engineering | British Library Conference Proceedings | 1998