Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Verification of Autonomous Vehicles: Bridging the Gap between Model-Based Design and Model Checking


    Contributors:
    Rao, Ananya (author) / Wang, Yue (author)

    Conference:

    WCX SAE World Congress Experience



    Publication date :

    2023-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Model checking for autonomous vehicles

    FERGUSON DAVID I / DOLGOV DMITRI A / URMSON CHRISTOPHER | European Patent Office | 2016

    Free access

    Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking

    Kloock, Maximilian / He, Qingyun / Kowalewski, Stefan et al. | IEEE | 2021


    Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation

    Webster, Matt / Cameron, Neil / Jump, Michael et al. | AIAA | 2012