Access

    Download


    Export, share and cite



    Title :

    Formalizing and Modeling Traffic Rules Within Interactive Behavior Planning


    Additional title:

    Formalisierung und Modellierung von Verkehrsregeln innerhalb der Interaktiven Verhaltensplanung



    Publication date :

    2021


    Size :

    1 Online-Ressource


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    DDC:    388.31



    Formalizing Traffic Rules for Machine Interpretability

    Esterle, Klemens / Gressenbuch, Luis / Knoll, Alois | IEEE | 2020


    Towards Safe Navigation by Formalizing Navigation Rules

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

    Free access


    Developing uniform traffic rules within metropolitan area

    Hanson, D.J. | Engineering Index Backfile | 1960


    Formalizing Ordinary Differential Equations in PVS

    Kyle Wianecki / Tanner Slagel / Aaron Dutle | NTRS