Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC


    Beteiligte:

    Kongress:

    IEEE intelligent vehicles symposium


    Erscheinungsdatum :

    01.01.2019


    Format / Umfang :

    6 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

    Parameshwaran, Aditya / Wang, Yue | British Library Conference Proceedings | 2023



    SAFETY AND PERFORMANCE FOR LOGIC DESIGN IN AUTONOMOUS VEHICLES

    ZHANG MANJIANG / KOU HAOFENG | Europäisches Patentamt | 2024

    Freier Zugriff

    SYSTEM SPECIFYING SIGNAL ASPECT

    IWASAKI SEIYA | Europäisches Patentamt | 2023

    Freier Zugriff