Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Provably Safe Motion Planning for Autonomous Vehicles Through Online Verification


    Additional title:

    Nachweislich sichere Bewegungsplanung für autonome Fahrzeuge durch Echtzeitverifikation



    Publication date :

    2020


    Size :

    1 Online-Ressource


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    DDC:    629.2



    Fail-safe motion planning of autonomous vehicles

    Magdici, Silvia / Althoff, Matthias | IEEE | 2016


    Provably-Safe Autonomous Navigation of Traffic Circles

    Konda, Rohit / Squires, Eric / Pierpaoli, Pietro et al. | IEEE | 2019



    A Safe Motion Planning and Reliable Control Framework for Autonomous Vehicles

    Pan, Huihui / Luo, Mao / Wang, Jue et al. | IEEE | 2024