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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formalizing Traffic Rules for Machine Interpretability


    Contributors:


    Publication date :

    2020-11-01


    Size :

    900775 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Towards Safe Navigation by Formalizing Navigation Rules

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

    Free access


    Formalizing and Evaluating the Concurrent Engineering Process

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


    Formalizing Ordinary Differential Equations in PVS

    Kyle Wianecki / Tanner Slagel / Aaron Dutle | NTRS