Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles


    Beteiligte:
    Rizaldi, Albert (Autor:in) / Immler, Fabian (Autor:in) / Althoff, Matthias (Autor:in)

    Kongress:

    NASA formal methods symposium



    Erscheinungsdatum :

    01.01.2016


    Format / Umfang :

    16 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Formally Robust and Safe Trajectory Planning and Tracking for Autonomous Vehicles

    Yu, Yushu / Shan, Dan / Benderius, Ola et al. | IEEE | 2022


    Efficiency analysis of formally verified adaptive cruise controllers

    Loos, Sarah M. / Witmer, David / Steenkiste, Peter et al. | IEEE | 2013


    Software safety architecture that can be formally verified

    Cossy,M. / STZ Softwaretechnik,DE | Kraftfahrwesen | 2004


    Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified

    S. M. Loos / A. Platzer / L. Nistor | NTIS | 2011


    A Deployment Framework for Formally Verified Human-Robot Interactions

    Lestingi, Livia / Askarpour, Mehrnoosh / Bersani, Marcello M. et al. | BASE | 2021

    Freier Zugriff