Specification-Guided Critical Scenario Identification for Automated Driving

Adam Molin, Edgar A. Aguilar, Dejan Ničković +3

To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…