{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T15:43:13Z","timestamp":1782315793180,"version":"3.54.5"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031223365","type":"print"},{"value":"9783031223372","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"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":[[2022]]},"DOI":"10.1007\/978-3-031-22337-2_5","type":"book-chapter","created":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T10:08:41Z","timestamp":1672222121000},"page":"85-106","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Specification and\u00a0Validation of\u00a0Autonomous Driving Systems: A Multilevel Semantic Framework"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4412-5684","authenticated-orcid":false,"given":"Marius","family":"Bozga","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2447-7981","authenticated-orcid":false,"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,12,29]]},"reference":[{"key":"5_CR1","unstructured":"ASAM OpenDRIVE\u00ae - open dynamic road information for vehicle environment. Technical report, V 1.6.0, ASAM e.V., Mar 2020. https:\/\/www.asam.net\/standards\/detail\/opendrive"},{"key":"5_CR2","unstructured":"ASAM OpenScenario\u00ae - dynamic content in driving simulation, UML modeling rules. Technical report, V 1.0.0, ASAM e.V., Mar 2020. https:\/\/www.asam.net\/standards\/detail\/openscenario"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Bagschik, G., Menzel, T., Maurer, M.: Ontology based scene creation for the development of automated vehicles. In: Intelligent Vehicles Symposium, pp. 1813\u20131820. IEEE (2018)","DOI":"10.1109\/IVS.2018.8500632"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1007\/978-3-030-03424-5_20","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems","author":"R El Ballouli","year":"2018","unstructured":"El Ballouli, R., Bensalem, S., Bozga, M., Sifakis, J.: Four exercises in programming dynamic reconfigurable systems: methodology and solution in DR-BIP. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 304\u2013320. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03424-5_20"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Beetz, J., Borrmann, A.: Benefits and limitations of linked data approaches for road modeling and data exchange. In: Smith, I., Domer, B. (eds.) EG-ICE 2018. LNCS, vol. 10864, pp. 245\u2013261. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91638-5_13","DOI":"10.1007\/978-3-319-91638-5_13"},{"key":"5_CR6","unstructured":"Bozga, M., Sifakis, J.: Specification and validation of autonomous driving systems: a multilevel semantic framework. CoRR abs\/2109.06478 (2021). https:\/\/arxiv.org\/abs\/2109.06478"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Chen, W., Kloul, L.: An ontology-based approach to generate the advanced driver assistance use cases of highway traffic. In: KEOD, pp. 73\u201381. SciTePress (2018)","DOI":"10.5220\/0006931700750083"},{"key":"5_CR8","unstructured":"Damm, W., Kemper, S., M\u00f6hlmann, E., Peikenkamp, T., Rakow, A.: Using traffic sequence charts for the development of HAVs. In: ERTS 2018, Proceedings (2018)"},{"key":"5_CR9","unstructured":"Dosovitskiy, A., Ros, G., Codevilla, F., L\u00f3pez, A.M., Koltun, V.: CARLA: an open urban driving simulator. In: Proceedings of Machine Learning Research, vol. 78, pp. 1\u201316. PMLR (2017). CoRL"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"El-Hokayem, A., Bozga, M., Sifakis, J.: A temporal configuration logic for dynamic reconfigurable systems. In: SAC, pp. 1419\u20131428. ACM (2021)","DOI":"10.1145\/3412841.3442017"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Esterle, K., Aravantinos, V., Knoll, A.C.: From specifications to behavior: maneuver verification in a semantic state space. In: IV, pp. 2140\u20132147. IEEE (2019)","DOI":"10.1109\/IVS.2019.8814241"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Esterle, K., Gressenbuch, L., Knoll, A.C.: Formalizing traffic rules for machine interpretability. In: CAVS, pp. 1\u20137. IEEE (2020)","DOI":"10.1109\/CAVS51000.2020.9334599"},{"key":"5_CR13","unstructured":"Fremont, D.J., et al.: Scenic: a language for scenario specification and data generation. CoRR abs\/2010.06580 (2020). https:\/\/arxiv.org\/abs\/2010.06580"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Fremont, D.J., et al.: Formal scenario-based testing of autonomous vehicles: from simulation to the real world. In: ITSC, pp. 1\u20138. IEEE (2020)","DOI":"10.1109\/ITSC45102.2020.9294368"},{"issue":"30","key":"5_CR15","doi-asserted-by":"publisher","first-page":"17491","DOI":"10.1073\/pnas.2003162117","volume":"117","author":"D Harel","year":"2020","unstructured":"Harel, D., Marron, A., Sifakis, J.: Autonomics: in search of a foundation for next-generation autonomous systems. Proc. Natl. Acad. Sci. USA 117(30), 17491\u201317498 (2020)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/978-3-642-24559-6_28","volume-title":"Formal Methods and Software Engineering","author":"M Hilscher","year":"2011","unstructured":"Hilscher, M., Linker, S., Olderog, E.-R., Ravn, A.P.: An abstract model for proving safety of multi-lane traffic manoeuvres. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol. 6991, pp. 404\u2013419. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24559-6_28"},{"key":"5_CR17","unstructured":"Institute for Software Engineering and Programming Languages, University of L\u00fcbeck: LamaConv - Logics and Automata Converter Library (2020). https:\/\/www.isp.uni-luebeck.de\/lamaconv"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Karimi, A., Duggirala, P.S.: Formalizing traffic rules for uncontrolled intersections. In: ICCPS, pp. 41\u201350. IEEE (2020)","DOI":"10.1109\/ICCPS48487.2020.00012"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Poggenhans, F., et al.: Lanelet2: a high-definition map framework for the future of automated driving. In: ITSC, pp. 1672\u20131679. IEEE (2018)","DOI":"10.1109\/ITSC.2018.8569929"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Rizaldi, A., Althoff, M.: Formalising traffic rules for accountability of autonomous vehicles. In: ITSC, pp. 1658\u20131665. IEEE (2015)","DOI":"10.1109\/ITSC.2015.269"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/978-3-030-01090-4_5","volume-title":"Automated Technology for Verification and Analysis","author":"A Rizaldi","year":"2018","unstructured":"Rizaldi, A., Immler, F., Sch\u00fcrmann, B., Althoff, M.: A formally verified motion planner for autonomous vehicles. In: Lahiri, S.K., Wang, C. (eds.) ATVA 2018. LNCS, vol. 11138, pp. 75\u201390. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-01090-4_5"},{"key":"5_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/978-3-319-66845-1_4","volume-title":"Integrated Formal Methods","author":"A Rizaldi","year":"2017","unstructured":"Rizaldi, A., et al.: Formalising and monitoring traffic rules for autonomous vehicles in Isabelle\/HOL. In: Polikarpova, N., Schneider, S. (eds.) IFM 2017. LNCS, vol. 10510, pp. 50\u201366. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66845-1_4"},{"key":"5_CR23","unstructured":"Rong, G., et al.: LGSVL simulator: a high fidelity simulator for autonomous driving. CoRR abs\/2005.03778 (2020). https:\/\/arxiv.org\/abs\/2005.03778"},{"key":"5_CR24","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-030-03402-3_5","volume-title":"Advances in Information and Communication Networks","author":"V Sch\u00f6nemann","year":"2019","unstructured":"Sch\u00f6nemann, V., et al.: Scenario-based functional safety for automated driving on the example of valet parking. In: Arai, K., Kapoor, S., Bhatia, R. (eds.) FICC 2018. AISC, vol. 886, pp. 53\u201364. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-03402-3_5"},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-030-21485-2_21","volume-title":"Models, Languages, and Tools for Concurrent and Distributed Programming","author":"J Sifakis","year":"2019","unstructured":"Sifakis, J.: Autonomous systems \u2013 an architectural characterization. In: Boreale, M., Corradini, F., Loreti, M., Pugliese, R. (eds.) Models, Languages, and Tools for Concurrent and Distributed Programming. LNCS, vol. 11665, pp. 388\u2013410. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21485-2_21"},{"key":"5_CR26","unstructured":"Wikipedia. https:\/\/en.wikipedia.org\/wiki\/All-way_stop"}],"container-title":["Lecture Notes in Computer Science","Principles of Systems Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-22337-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T00:06:26Z","timestamp":1672358786000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-22337-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031223365","9783031223372"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-22337-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"29 December 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}