Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC


    Contributors:

    Conference:

    IEEE intelligent vehicles symposium



    Publication date :

    2019-01-01


    Size :

    6 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English





    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 | European Patent Office | 2024

    Free access

    SYSTEM SPECIFYING SIGNAL ASPECT

    IWASAKI SEIYA | European Patent Office | 2023

    Free access