@misc{indiciaee5d5d487cd08,
  title = {Specification-Guided Critical Scenario Identification for Automated Driving},
  author = {Adam Molin and Edgar A. Aguilar and Dejan Ničković and Mengjia Zhu and Alberto Bemporad and Hasan Esen},
  year = {2023},
  doi = {10.1007/978-3-031-27481-7\_35},
  url = {https://arxiv.org/abs/2303.05139},
  note = {Source identifier: 2303.05139}
}