{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T09:56:52Z","timestamp":1781258212495,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T00:00:00Z","timestamp":1689033600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,11]]},"DOI":"10.1145\/3597512.3599698","type":"proceedings-article","created":{"date-parts":[[2023,7,5]],"date-time":"2023-07-05T22:21:30Z","timestamp":1688595690000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Anticipating Accidents through Reasoned Simulation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6329-4136","authenticated-orcid":false,"given":"Craig","family":"Innes","sequence":"first","affiliation":[{"name":"School of Informatics, University of Edinburgh, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-3530-9996","authenticated-orcid":false,"given":"Andrew","family":"Ireland","sequence":"additional","affiliation":[{"name":"School of Mathematical and Computer Sciences, Heriot-Watt University, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9601-6538","authenticated-orcid":false,"given":"Yuhui","family":"Lin","sequence":"additional","affiliation":[{"name":"School of Mathematical and Computer Sciences, Heriot-Watt University, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6300-5103","authenticated-orcid":false,"given":"Subramanian","family":"Ramamoorthy","sequence":"additional","affiliation":[{"name":"School of Informatics, University of Edinburgh, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Modeling in Event-B: system and software engineering","author":"Abrial Jean-Raymond","unstructured":"Jean-Raymond Abrial. 2010. Modeling in Event-B: system and software engineering. Cambridge University Press."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-020-09481-8"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21311-3_4"},{"key":"e_1_3_2_1_5_1","unstructured":"JPL Special\u00a0Review Board. 2000. Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions. JPL D-18709."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23264-5_16"},{"key":"e_1_3_2_1_7_1","volume-title":"Programming in PROLOG","author":"Clocksin F","unstructured":"William\u00a0F Clocksin and Christopher\u00a0S Mellish. 2003. Programming in PROLOG. Springer Science & Business Media."},{"key":"e_1_3_2_1_8_1","unstructured":"John Colley and Michael Butler. 2013. A formal systematic approach to STPA using Event-B refinement and proof. (2013)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"e_1_3_2_1_10_1","volume-title":"Conference on robot learning. PMLR, 1\u201316","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An open urban driving simulator. In Conference on robot learning. PMLR, 1\u201316."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11370-012-0119-x"},{"key":"e_1_3_2_1_12_1","volume-title":"Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning 6, 3","author":"Gebser Martin","year":"2012","unstructured":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub. 2012. Answer set solving in practice. Synthesis lectures on artificial intelligence and machine learning 6, 3 (2012), 1\u2013238."},{"key":"e_1_3_2_1_13_1","volume-title":"Classical negation in logic programs and disjunctive databases. New generation computing 9","author":"Gelfond Michael","year":"1991","unstructured":"Michael Gelfond and Vladimir Lifschitz. 1991. Classical negation in logic programs and disjunctive databases. New generation computing 9 (1991), 365\u2013385."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/THMS.2014.2331034"},{"key":"e_1_3_2_1_15_1","volume-title":"Addison-Wesley Longman Publishing Co","author":"Giannesini Francis","unstructured":"Francis Giannesini, Henry Kanoui, Robert Pasero, and Michel Van\u00a0Caneghem. 1986. Prolog. Addison-Wesley Longman Publishing Co., Inc."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s42154-021-00172-y"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1504\/IJCCBS.2019.098815"},{"key":"e_1_3_2_1_18_1","volume-title":"Software Abstractions: logic, language, and analysis","author":"Jackson Daniel","unstructured":"Daniel Jackson. 2012. Software Abstractions: logic, language, and analysis. MIT press."},{"key":"e_1_3_2_1_19_1","volume-title":"d.]. Software Requirements and Specifications-a lexicon of practice, principles and prejudices","author":"Jackson M","year":"1995","unstructured":"M Jackson. [n. d.]. Software Requirements and Specifications-a lexicon of practice, principles and prejudices. 1995."},{"key":"e_1_3_2_1_20_1","volume-title":"Problem frames: analysing and structuring software development problems","author":"Jackson Michael","unstructured":"Michael Jackson. 2001. Problem frames: analysing and structuring software development problems. Addison-Wesley."},{"key":"e_1_3_2_1_21_1","volume-title":"d.]. Report on the Accident to Airbus A320-211 Aircraft in Warsaw","author":"Ladkin B","year":"1994","unstructured":"Peter\u00a0B Ladkin. [n. d.]. Report on the Accident to Airbus A320-211 Aircraft in Warsaw, 1994. http:\/\/psas.scripts.mit.edu\/home\/materials\/"},{"key":"e_1_3_2_1_22_1","unstructured":"Peter\u00a0B. Ladkin. 1994. Report on the Accident to Airbus A320-211 Aircraft in Warsaw. http:\/\/www.rvs.uni-bielefeld.de\/publications\/Incidents\/DOCS\/ComAndRep\/Warsaw\/warsaw-report.html."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2017.3121552"},{"key":"e_1_3_2_1_24_1","volume-title":"Engineering a safer world: Systems thinking applied to safety","author":"Leveson G","unstructured":"Nancy\u00a0G Leveson. 2016. Engineering a safer world: Systems thinking applied to safety. The MIT Press."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/942807.943895"},{"key":"e_1_3_2_1_26_1","volume-title":"Stable models and an alternative logic programming paradigm. The Logic Programming Paradigm: a 25-Year Perspective","author":"Marek W","year":"1999","unstructured":"Victor\u00a0W Marek and Miroslaw Truszczy\u0144ski. 1999. Stable models and an alternative logic programming paradigm. The Logic Programming Paradigm: a 25-Year Perspective (1999), 375\u2013398."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645771.667928"},{"key":"e_1_3_2_1_28_1","unstructured":"Paper resource. 2023. Extended Logic Programming (ELP). https:\/\/colab.research.google.com\/drive\/1rkjQwKKYLDBooo5u5BWpmQtpK2IJB3v6?usp=sharing"},{"key":"e_1_3_2_1_29_1","unstructured":"Paper resource. 2023. REASIM - CARLA Simulations. https:\/\/github.com\/craigiedon\/REASIM-Carla"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-007-0048-y"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2002.1039830"},{"key":"e_1_3_2_1_32_1","unstructured":"Jan\u00a0Erik Stellet Matthias Woehrle Tino Brade Alexander Poddey and Wolfgang Branz. 2020. Validation of automated driving a structured analysis and survey of approaches. In 13. Uni-DAS eV Workshop Fahrerassistenz und automatisiertes Fahren."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSA52907.2021.00100"}],"event":{"name":"TAS '23: First International Symposium on Trustworthy Autonomous Systems","location":"Edinburgh United Kingdom","acronym":"TAS '23"},"container-title":["Proceedings of the First International Symposium on Trustworthy Autonomous Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597512.3599698","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597512.3599698","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:12Z","timestamp":1750287012000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597512.3599698"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,11]]},"references-count":33,"alternative-id":["10.1145\/3597512.3599698","10.1145\/3597512"],"URL":"https:\/\/doi.org\/10.1145\/3597512.3599698","relation":{},"subject":[],"published":{"date-parts":[[2023,7,11]]},"assertion":[{"value":"2023-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}