Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Rao, Ananya (Autor:in) / Wang, Yue (Autor:in)

    Kongress:

    WCX SAE World Congress Experience



    Erscheinungsdatum :

    01.01.2023


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Model checking for autonomous vehicles

    FERGUSON DAVID I / DOLGOV DMITRI A / URMSON CHRISTOPHER | Europäisches Patentamt | 2016

    Freier Zugriff

    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