Compliance with the rules of the road is crucial for the safe operation of autonomous vehicles. Previous work has shown that one can expedite rule-compliant motion planning by constraining the search space based on the reachable states of the vehicle. We propose an algorithm to overapproximate the states that a vehicle can reach while adhering to a linear temporal logic specification. By integrating model checking into reachability analysis, we can exclude many non-compliant states early. Moreover, we only have to semantically split the reachable set when necessary to decide the validity of the specification. This significantly reduces the computation time compared to existing approaches. We benchmark our approach in recorded real-world scenarios to demonstrate its real-time capability.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Specification-Compliant Reachability Analysis for Autonomous Vehicles Using On-the-Fly Model Checking


    Contributors:


    Publication date :

    2024-06-02


    Size :

    1495693 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Model checking for autonomous vehicles

    FERGUSON DAVID I / DOLGOV DMITRI A / URMSON CHRISTOPHER | European Patent Office | 2016

    Free access

    REACHABILITY USER EXPERIENCE INTERFACES FOR AUTONOMOUS VEHICLES

    PANDIT SALIL / PATEL NIRMAL / VILLAR GUILHERME et al. | European Patent Office | 2022

    Free access

    REACHABILITY USER EXPERIENCE INTERFACES FOR AUTONOMOUS VEHICLES

    PANDIT SALIL / PATEL NIRMAL / VILLAR GUILHERME et al. | European Patent Office | 2025

    Free access