TY - RPRT TI - Specification-Guided Critical Scenario Identification for Automated Driving AU - Adam Molin AU - Edgar A. Aguilar AU - Dejan Ničković AU - Mengjia Zhu AU - Alberto Bemporad AU - Hasan Esen PY - 2023 DO - 10.1007/978-3-031-27481-7_35 UR - https://arxiv.org/abs/2303.05139 ID - 2303.05139 ER -