Scenario-based testing is a promising approach for the verification of automated vehicles (AVs). In this paper, we present a novel approach that combines reachability analysis and numerical optimization to derive concrete scenarios from formal specifications. This promises to address multiple deficiencies of previous approaches: Improvement of computation times, handling of nonlinear specifications (e.g., traffic rules), and incorporation of criticality metrics. Our evaluation shows that the computation time increases linearly with the number of agents and the time horizon, compared to a typically exponential increase for methods without reachability analysis.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis


    Contributors:


    Publication date :

    2023-09-24


    Size :

    419974 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    SYNTHESIZING TRAFFIC SCENARIOS FROM FORMAL SPECIFICATIONS FOR TESTING AUTOMATED VEHICLES

    Klischat, Moritz / Althoff, Matthias | British Library Conference Proceedings | 2020



    From formal specifications to efficient test scenarios generation

    Yang, Jing / Ghazel, Mohamed / El-Koursi, El-Miloudi | IEEE | 2013


    Traffic Specifications

    Aubin, Jean-Pierre / Désilles, Anya | Springer Verlag | 2016


    Efficiently Locating Impact and Escape Scenarios in Spacecraft Reachability Sets

    Komendera, E. / Bradley, E. / Scheeres, D. et al. | British Library Conference Proceedings | 2012