Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

    NASA formal methods symposium



    Publication date :

    2016-01-01


    Size :

    16 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    Unknown



    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 | Automotive engineering | 2004


    A Deployment Framework for Formally Verified Human-Robot Interactions

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

    Free access

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

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