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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis


    Beteiligte:


    Erscheinungsdatum :

    24.09.2023


    Format / Umfang :

    419974 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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