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.
Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis
24.09.2023
419974 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
SYNTHESIZING TRAFFIC SCENARIOS FROM FORMAL SPECIFICATIONS FOR TESTING AUTOMATED VEHICLES
British Library Conference Proceedings | 2020
|Springer Verlag | 2016
|Efficiently Locating Impact and Escape Scenarios in Spacecraft Reachability Sets
British Library Conference Proceedings | 2012
|