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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specifying Safety of Autonomous Vehicles in Signal Temporal Logic


    Contributors:


    Publication date :

    2019-06-01


    Size :

    372658 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



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

    Free access

    SYSTEM SPECIFYING SIGNAL ASPECT

    IWASAKI SEIYA | European Patent Office | 2023

    Free access