{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T17:44:02Z","timestamp":1770918242534,"version":"3.50.1"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031274800","type":"print"},{"value":"9783031274817","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-27481-7_35","type":"book-chapter","created":{"date-parts":[[2023,3,2]],"date-time":"2023-03-02T14:03:10Z","timestamp":1677765790000},"page":"610-621","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Specification-Guided Critical Scenario Identification for\u00a0Automated Driving"],"prefix":"10.1007","author":[{"given":"Adam","family":"Molin","sequence":"first","affiliation":[]},{"given":"Edgar A.","family":"Aguilar","sequence":"additional","affiliation":[]},{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"additional","affiliation":[]},{"given":"Mengjia","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Bemporad","sequence":"additional","affiliation":[]},{"given":"Hasan","family":"Esen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,3,3]]},"reference":[{"key":"35_CR1","doi-asserted-by":"publisher","unstructured":"IEEE standard for assumptions in safety-related models for automated driving systems. IEEE Std 2846-2022, pp. 1\u201359 (2022). https:\/\/doi.org\/10.1109\/IEEESTD.2022.9761121","DOI":"10.1109\/IEEESTD.2022.9761121"},{"key":"35_CR2","doi-asserted-by":"publisher","unstructured":"Ar\u00e9chiga, N.: Specifying safety of autonomous vehicles in signal temporal logic. In: 2019 IEEE Intelligent Vehicles Symposium (IV), pp. 58\u201363 (2019). https:\/\/doi.org\/10.1109\/IVS.2019.8813875","DOI":"10.1109\/IVS.2019.8813875"},{"key":"35_CR3","unstructured":"Association for Standardization of Automation and Measuring Systems: ASAM OpenSCENARIO V1.2.0. Standard, Munich, Germany (2022). https:\/\/www.asam.net\/standards\/detail\/openscenario\/"},{"key":"35_CR4","unstructured":"Association for Standardization of Automation and Measuring Systems: ASAM OpenSCENARIO V2.0.0. Standard, Munich, Germany (2022). https:\/\/www.asam.net\/standards\/detail\/openscenario\/v200\/"},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"Bemporad, A.: Global optimization via inverse distance weighting and radial basis functions. Comput. Optim. Appl. 77, 571\u2013595 (2020). http:\/\/cse.lab.imtlucca.it\/~bemporad\/glis","DOI":"10.1007\/s10589-020-00215-w"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"A Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 92\u2013106. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_9"},{"key":"35_CR7","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., Lopez, A., Koltun, V.: CARLA: an open urban driving simulator. In: Proceedings of the 1st Annual Conference on Robot Learning, pp. 1\u201316 (2017)"},{"issue":"4","key":"35_CR8","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1007\/s10817-018-09509-5","volume":"63","author":"T Dreossi","year":"2019","unstructured":"Dreossi, T., Donz\u00e9, A., Seshia, S.A.: Compositional falsification of cyber-physical systems with machine learning components. J. Autom. Reason. 63(4), 1031\u20131053 (2019). https:\/\/doi.org\/10.1007\/s10817-018-09509-5","journal-title":"J. Autom. Reason."},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Dreossi, T., et al.: VerifAI: a toolkit for the formal design and analysis of artificial intelligence-based systems. In: 31st International Conference on Computer Aided Verification (CAV), July 2019","DOI":"10.1007\/978-3-030-25540-4_25"},{"issue":"9","key":"35_CR10","doi-asserted-by":"publisher","first-page":"5635","DOI":"10.1109\/TITS.2020.2988309","volume":"22","author":"S Feng","year":"2020","unstructured":"Feng, S., Feng, Y., Sun, H., Bao, S., Zhang, Y., Liu, H.X.: Testing scenario library generation for connected and automated vehicles, part II: case studies. IEEE Trans. Intell. Transp. Syst. 22(9), 5635\u20135647 (2020)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"3","key":"35_CR11","doi-asserted-by":"publisher","first-page":"1573","DOI":"10.1109\/TITS.2020.2972211","volume":"22","author":"S Feng","year":"2020","unstructured":"Feng, S., Feng, Y., Yu, C., Zhang, Y., Liu, H.X.: Testing scenario library generation for connected and automated vehicles, part I: methodology. IEEE Trans. Intell. Transp. Syst. 22(3), 1573\u20131582 (2020)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., Dreossi, T., Ghosh, S., Yue, X., Sangiovanni-Vincentelli, A.L., Seshia, S.A.: Scenic: a language for scenario specification and scene generation. In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 63\u201378 (2019)","DOI":"10.1145\/3314221.3314633"},{"issue":"12","key":"35_CR13","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/355588.365104","volume":"7","author":"JH Halton","year":"1964","unstructured":"Halton, J.H., Smith, G.B.: Algorithm 247: radical-inverse quasi-random point sequence. Commun. ACM 7(12), 701\u2013702 (1964). https:\/\/doi.org\/10.1145\/355588.365104","journal-title":"Commun. ACM"},{"key":"35_CR14","doi-asserted-by":"publisher","unstructured":"Hekmatnejad, M., et al.: Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE 2019 (2019). https:\/\/doi.org\/10.1145\/3359986.3361203","DOI":"10.1145\/3359986.3361203"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, 22\u201324 September 2004, Proceedings, pp. 152\u2013166 (2004)","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Menzel, T., Bagschik, G., Maurer, M.: Scenarios for development, test and validation of automated vehicles. In: 2018 IEEE Intelligent Vehicles Symposium (IV), pp. 1821\u20131827. IEEE (2018)","DOI":"10.1109\/IVS.2018.8500406"},{"key":"35_CR17","doi-asserted-by":"publisher","first-page":"18016","DOI":"10.1109\/ACCESS.2021.3053159","volume":"9","author":"C Neurohr","year":"2021","unstructured":"Neurohr, C., Westhofen, L., Butz, M., Bollmann, M.H., Eberle, U., Galbas, R.: Criticality analysis for the verification and validation of automated vehicles. IEEE Access 9, 18016\u201318041 (2021)","journal-title":"IEEE Access"},{"key":"35_CR18","doi-asserted-by":"crossref","unstructured":"Nghiem, T., Sankaranarayanan, S., Fainekos, G., Ivancic, F., Gupta, A., Pappas, G.J.: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. In: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, 12\u201315 April 2010, pp. 211\u2013220 (2010)","DOI":"10.1145\/1755952.1755983"},{"key":"35_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1007\/978-3-030-59152-6_34","volume-title":"Automated Technology for Verification and Analysis","author":"D Ni\u010dkovi\u0107","year":"2020","unstructured":"Ni\u010dkovi\u0107, D., Yamaguchi, T.: RTAMT: online robustness monitors from STL. In: Hung, D.V., Sokolsky, O. (eds.) ATVA 2020. LNCS, vol. 12302, pp. 564\u2013571. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-59152-6_34"},{"key":"35_CR20","unstructured":"On-Road Automated Driving (ORAD) committee: J3016 Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles. Technical report (2021). https:\/\/www.sae.org\/standards\/content\/j3016_202104\/"},{"key":"35_CR21","unstructured":"Qin, X., Ar\u00e9chiga, N., Best, A., Deshmukh, J.: Automatic testing with reusable adversarial agents. arXiv preprint arXiv:1910.13645 (2019)"},{"key":"35_CR22","unstructured":"Shalev-Shwartz, S., Shammah, S., Shashua, A.: On a formal model of safe and scalable self-driving cars, August 2017. arXiv e-prints. arXiv:1708.06374"},{"issue":"2","key":"35_CR23","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1109\/TIV.2019.2955903","volume":"5","author":"CE Tuncali","year":"2019","unstructured":"Tuncali, C.E., Fainekos, G., Prokhorov, D., Ito, H., Kapinski, J.: Requirements-driven test generation for autonomous vehicles with machine learning components. IEEE Trans. Intell. Veh. 5(2), 265\u2013280 (2019)","journal-title":"IEEE Trans. Intell. Veh."},{"key":"35_CR24","doi-asserted-by":"crossref","unstructured":"Tuncali, C.E., Pavlic, T.P., Fainekos, G.: Utilizing s-taliro as an automatic test generation framework for autonomous vehicles. In: 19th IEEE International Conference on Intelligent Transportation Systems, ITSC 2016, Rio de Janeiro, Brazil, 1\u20134 November 2016, pp. 1470\u20131475 (2016)","DOI":"10.1109\/ITSC.2016.7795751"},{"key":"35_CR25","doi-asserted-by":"crossref","unstructured":"Zhang, X., et al.: Finding critical scenarios for automated driving systems: a systematic mapping study. IEEE Trans. Softw. Eng. (2022)","DOI":"10.1109\/TSE.2022.3170122"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-27481-7_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,2]],"date-time":"2023-03-02T14:12:11Z","timestamp":1677766331000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-27481-7_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031274800","9783031274817"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-27481-7_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"3 March 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"L\u00fcbeck","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fm2023.isp.uni-luebeck.de\/wordpress\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"95","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The proceedings also include 7 short industry papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}