{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:28:19Z","timestamp":1781018899299,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T00:00:00Z","timestamp":1774224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,3,23]]},"DOI":"10.1145\/3748522.3779957","type":"proceedings-article","created":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:17:49Z","timestamp":1781014669000},"page":"1543-1552","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Structural Causal World Models for Safety Assurance of AI-based Autonomy"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0141-5630","authenticated-orcid":false,"given":"Jie","family":"Zou","sequence":"first","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3741-252X","authenticated-orcid":false,"given":"Ioannis","family":"Stefanakos","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4405-5754","authenticated-orcid":false,"given":"Sepeedeh","family":"Shahbeigi Roudposhti","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9040-8752","authenticated-orcid":false,"given":"Simon","family":"Burton","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2678-9260","authenticated-orcid":false,"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4950-7617","authenticated-orcid":false,"given":"Kester","family":"Clegg","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8513-0098","authenticated-orcid":false,"given":"Roger","family":"Rivett","sequence":"additional","affiliation":[{"name":"University of York, York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSCI62032.2023.00251"},{"issue":"0","key":"e_1_3_2_1_2_1","first-page":"1","article-title":"Asam openodd: concept paper. https:\/\/www.asam.net\/fileadmin\/Standards\/OpenODD\/ASAM_OpenODD__Concept_Paper_2.html","volume":"1","author":"ASAM","year":"2021","unstructured":"ASAM e.V. 2021. Asam openodd: concept paper. https:\/\/www.asam.net\/fileadmin\/Standards\/OpenODD\/ASAM_OpenODD__Concept_Paper_2.html. Version 1.0, October 1, 2021. (2021). https:\/\/www.asam.net\/fileadmin\/Standards\/OpenODD\/ASAM_OpenODD__Concept_Paper_2.html.","journal-title":"Version"},{"key":"e_1_3_2_1_3_1","volume-title":"Asam openodd\u00ae 1.0.0. https:\/\/www.asam.net\/standards\/detail\/openodd\/. Finalised standard released","author":"ASAM e.V.","year":"2025","unstructured":"ASAM e.V. 2025. Asam openodd\u00ae 1.0.0. https:\/\/www.asam.net\/standards\/detail\/openodd\/. Finalised standard released in April 2025. (Apr. 2025)."},{"key":"e_1_3_2_1_4_1","unstructured":"G Audi AG Volkswagen et al. 2019. The pegasus method. (2019)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1080\/08839514.2024.2304942"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"H\u00e9ctor Avil\u00e9s et al. 2024. Comparing probabilistic logic factored mdps cart and mlps for behavior selection in self-driving cars.","DOI":"10.21203\/rs.3.rs-4651518\/v1"},{"key":"e_1_3_2_1_7_1","unstructured":"Yoshua Bengio. 2017. The consciousness prior. arXiv preprint arXiv:1709.08568."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2019.103201"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-01233-4_12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3389\/fcomp.2023.1132580"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2021.3073430"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2024.3385378"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1076\/vesd.39.3.189.14152"},{"key":"e_1_3_2_1_14_1","volume-title":"AI: A framework for ensuring robust and reliable AI systems. arXiv preprint arXiv:2405.06624.","author":"David Dalrymple","year":"2024","unstructured":"David Dalrymple et al. 2024. Towards guaranteed safe AI: A framework for ensuring robust and reliable AI systems. arXiv preprint arXiv:2405.06624."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.13140\/RG.2.2.15190.42563"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95246-8_11"},{"key":"e_1_3_2_1_17_1","volume-title":"Towards an ontology that reconciles the operational design domain, scenario-based testing, and automated vehicle architectures. In 2022 IEEE international systems conference (SYSCON)","author":"Erz Jannis","unstructured":"Jannis Erz, Barbara Sch\u00fctt, Thilo Braun, Houssem Guissouma, and Eric Sax. 2022. Towards an ontology that reconciles the operational design domain, scenario-based testing, and automated vehicle architectures. In 2022 IEEE international systems conference (SYSCON). IEEE, 1\u20138."},{"key":"e_1_3_2_1_18_1","volume-title":"International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020)","author":"Giannakopoulou Dimitra","year":"2020","unstructured":"Dimitra Giannakopoulou, Anastasia Mavridou, Julian Rhein, Thomas Pressburger, Johann Schumann, and Nija Shi. 2020. Formal requirements elicitation with fret. In International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ-2020) number ARC-E-DAA-TN77785."},{"key":"e_1_3_2_1_19_1","unstructured":"International Organization for Standardization. 2022. Iso 21448:2022 - road vehicles \u2014 safety of the intended functionality (sotif). https:\/\/www.iso.org\/standard\/77490.html. (2022)."},{"key":"e_1_3_2_1_20_1","unstructured":"International Organization for Standardization. 2018. Iso 26262:2018 - road vehicles - functional safety. https:\/\/www.iso.org\/standard\/68383.html. (2018)."},{"key":"e_1_3_2_1_21_1","unstructured":"International Organization for Standardization. 2023. Iso 34503:2023 road vehicles\u2014test scenarios for automated driving systems\u2014specification for operational design domain. https:\/\/www.iso.org\/standard\/78952.html. (2023)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-26601-1_17"},{"key":"e_1_3_2_1_23_1","first-page":"1","article-title":"A path towards autonomous machine intelligence version 0.9. 2, 2022-06-27","volume":"62","author":"LeCun Yann","year":"2022","unstructured":"Yann LeCun. 2022. A path towards autonomous machine intelligence version 0.9. 2, 2022-06-27. Open Review, 62, 1, 1\u201362.","journal-title":"Open Review"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.4006887"},{"key":"e_1_3_2_1_25_1","unstructured":"Scott M Lundberg and Su-In Lee. 2017. A unified approach to interpreting model predictions. Advances in neural information processing systems 30."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814099"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-27481-7_35"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"Hans B Pacejka and Egbert Bakker. 1992. The magic formula tyre model. Vehicle system dynamics 21 S1 1\u201318.","DOI":"10.1080\/00423119208969994"},{"key":"e_1_3_2_1_30_1","unstructured":"Bsi Pas. 2020. Operational design domain (odd) taxonomy for an automated driving system (ads). specification. The British Standards Institution Standard."},{"key":"e_1_3_2_1_31_1","volume-title":"May","author":"Projekt PEGASUS","year":"2019","unstructured":"PEGASUS Projekt. 2019. Pegasus gesamtmethode: ein \u00fcberblick. https:\/\/www.pegasusprojekt.de\/en\/pegasus-method. Final report presented at the PEGASUS Abschlussveranstaltung, May 2019. (2019). https:\/\/www.pegasusprojekt.de\/en\/pegasus-method."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/IV55152.2023.10186795"},{"key":"e_1_3_2_1_33_1","volume-title":"36th IEEE International Symposium on Software Reliability Engineering.","author":"Roudposhti Sepeedeh Shahbeigi","year":"2025","unstructured":"Sepeedeh Shahbeigi Roudposhti, Richard David Hawkins, Simon Burton, Victoria J Hodge, Colin Paterson, and Ibrahim Habli. 2025. A case study on defining traceable machine learning safety requirements for an automotive perception component. In 36th IEEE International Symposium on Software Reliability Engineering."},{"key":"e_1_3_2_1_34_1","unstructured":"Shai Shalev-Shwartz Shaked Shammah and Amnon Shashua. 2017. On a formal model of safe and scalable self-driving cars. arXiv preprint arXiv:1708.06374."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Olena Shyshova Qiwei Jiang and Dirk S\u00f6ffker. 2025. Real-time controlled safety metric for use in autonomous systems of safety relevance using the example of the operation of an autonomous inland waterway vessel.","DOI":"10.3850\/978-981-94-3281-3_ESREL-SRA-E2025-P2653-cd"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2022.3182687"},{"key":"e_1_3_2_1_37_1","unstructured":"Bj\u00f6rn Volkmann Karl-Philipp Kortmann Ulrich Mair and Julian King. 2024. Friction and road condition estimation by combining cause-and effect-based methods using bayesian networks. arXiv preprint arXiv:2407.11805."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/OJITS.2022.3187247"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i8.32951"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aej.2024.11.003"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2022.3170122"},{"key":"e_1_3_2_1_42_1","unstructured":"Jiangnan Zhao Dehui Du Xing Yu and Hang Li. 2024. Risk scenario generation for autonomous driving systems based on causal bayesian networks. arXiv preprint arXiv:2405.16063."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/IV55152.2023.10186681"},{"key":"e_1_3_2_1_44_1","volume-title":"IEEE\/ACM International Conference on Software Engineering, NIER Track.","author":"Zou Jie","year":"2026","unstructured":"Jie Zou, Simon Burton, Radu Calinescu, Ioannis Stefanakos, and Roger Rivett. 2026. Structural causal world models: Towards an assurance framework for safety-critical systems and Safeguarded AI. IEEE\/ACM International Conference on Software Engineering, NIER Track."}],"event":{"name":"SAC '26: 41st ACM\/SIGAPP Symposium on Applied Computing","location":"Grand Hotel Palace Thessaloniki Greece","acronym":"SAC '26","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 41st ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3748522.3779957","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T14:43:35Z","timestamp":1781016215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3748522.3779957"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,23]]},"references-count":44,"alternative-id":["10.1145\/3748522.3779957","10.1145\/3748522"],"URL":"https:\/\/doi.org\/10.1145\/3748522.3779957","relation":{},"subject":[],"published":{"date-parts":[[2026,3,23]]},"assertion":[{"value":"2026-06-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}