Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety Verification and Navigation for Autonomous Vehicles Based on Signal Temporal Logic Constraints


    Beteiligte:
    Parameshwaran, Aditya (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





    SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC

    Aréchiga, Nikos | British Library Conference Proceedings | 2019


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

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


    Anytime Safety Verification of Autonomous Vehicles

    Gruber, Felix / Althoff, Matthias | IEEE | 2018