TY - GEN
T1 - Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis
AU - Finkeldei, Florian
AU - Althoff, Matthias
N1 - Publisher Copyright:
© 2023 IEEE.
PY - 2023
Y1 - 2023
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85186501599&partnerID=8YFLogxK
U2 - 10.1109/ITSC57777.2023.10422092
DO - 10.1109/ITSC57777.2023.10422092
M3 - Conference contribution
AN - SCOPUS:85186501599
T3 - IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC
SP - 1285
EP - 1291
BT - 2023 IEEE 26th International Conference on Intelligent Transportation Systems, ITSC 2023
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 26th IEEE International Conference on Intelligent Transportation Systems, ITSC 2023
Y2 - 24 September 2023 through 28 September 2023
ER -