Florian Finkeldei, Matthias Althoff. Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis. In 25th IEEE International Conference on Intelligent Transportation Systems, ITSC 2022, Macau, China, October 8-12, 2022. pages 1285-1291, IEEE, 2023. [doi]
Abstract is missing.