We develop a set of contracts for autonomous control software that ensures that if all traffic participants follow the contracts, the overall traffic system will be collision-free. We express our contracts in Signal Temporal Logic (STL), a lightweight specification language that enables V &V methodologies. We demonstrate how the specification can be used for evaluation of the performance of autonomy software, and We provide preliminary evidence that our contracts are not excessively conservative, i.e., they are not more restrictive than existing guidelines for safe driving by humans.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Specifying Safety of Autonomous Vehicles in Signal Temporal Logic


    Beteiligte:


    Erscheinungsdatum :

    01.06.2019


    Format / Umfang :

    372658 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    SPECIFYING SAFETY OF AUTONOMOUS VEHICLES IN SIGNAL TEMPORAL LOGIC

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



    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