STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. - Franz Scheuer; Alessio Gambi; Paolo Arcaini (IV, 2023)