Virtual testing plays an important role in the validation and verification of automated vehicles. State-of-the-art approaches first generate a huge amount of test scenarios through simulations or test drives, which are later filtered to obtain relevant scenarios for a given set of specifications. However, only few works exist on synthesizing scenarios directly from specifications. In this work, we present an optimization-based approach to synthesize scenarios only from formal specifications and a given map. To concretize the specifications, we formulate predicates, which are subsequently converted to a mixed-integer quadratic optimization problem. We demonstrate how our method can generate scenarios for maps featuring merging lanes and intersections given a variety of specifications.
Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles
2020 IEEE Intelligent Vehicles Symposium (IV) ; 2065-2072
19.10.2020
634926 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
SYNTHESIZING TRAFFIC SCENARIOS FROM FORMAL SPECIFICATIONS FOR TESTING AUTOMATED VEHICLES
British Library Conference Proceedings | 2020
|Automated testing from specifications
IEEE | 2002
|