Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis. - Florian Finkeldei; Matthias Althoff (ITSC, 2023)