%0 Conference Paper %1 conf/fm/MolinANZBE23 %A Molin, Adam %A Aguilar, Edgar A. %A Nickovic, Dejan %A Zhu, Mengjia %A Bemporad, Alberto %A Esen, Hasan %B FM %D 2023 %E Chechik, Marsha %E Katoen, Joost-Pieter %E Leucker, Martin %I Springer %K dblp %P 610-621 %T Specification-Guided Critical Scenario Identification for Automated Driving. %U http://dblp.uni-trier.de/db/conf/fm/fm2023.html#MolinANZBE23 %V 14000 %@ 978-3-031-27481-7

@inproceedings{conf/fm/MolinANZBE23, added-at = {2024-02-05T00:00:00.000+0100}, author = {Molin, Adam and Aguilar, Edgar A. and Nickovic, Dejan and Zhu, Mengjia and Bemporad, Alberto and Esen, Hasan}, biburl = {https://www.bibsonomy.org/bibtex/270b53fb82a0000c3a42b851f9f227e8f/dblp}, booktitle = {FM}, crossref = {conf/fm/2023}, editor = {Chechik, Marsha and Katoen, Joost-Pieter and Leucker, Martin}, ee = {https://doi.org/10.1007/978-3-031-27481-7_35}, interhash = {11d7714456351b6a15ecccaccbf3cf8d}, intrahash = {70b53fb82a0000c3a42b851f9f227e8f}, isbn = {978-3-031-27481-7}, keywords = {dblp}, pages = {610-621}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:28.000+0200}, title = {Specification-Guided Critical Scenario Identification for Automated Driving.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2023.html#MolinANZBE23}, volume = 14000, year = 2023 }