{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T07:16:51Z","timestamp":1769757411064,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T00:00:00Z","timestamp":1587513600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,4,22]]},"DOI":"10.1145\/3365365.3382203","type":"proceedings-article","created":{"date-parts":[[2020,5,4]],"date-time":"2020-05-04T07:48:38Z","timestamp":1588578518000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["A deontic logic analysis of autonomous systems' safety"],"prefix":"10.1145","author":[{"given":"Colin","family":"Shea-Blymyer","sequence":"first","affiliation":[{"name":"Oregon State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[{"name":"Oregon State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629686"},{"key":"e_1_3_2_1_3_1","volume-title":"I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations. In Computational Logic in Multi-Agent Systems","author":"Broersen Jan"},{"key":"e_1_3_2_1_4_1","volume-title":"Henzinger","author":"Chatterjee Krishnendu","year":"2008"},{"key":"e_1_3_2_1_5_1","volume-title":"The Logical Form of Imperatives. Department of Philosophy","author":"Chellas B.F."},{"key":"e_1_3_2_1_6_1","volume-title":"Peled","author":"Clarke Edmund M.","year":"1999"},{"key":"e_1_3_2_1_7_1","unstructured":"Dov Gabbay John Horty and Xavier Parent (Eds.). 2013. Handbook of deontic logic and normative systems. College Publications.  Dov Gabbay John Horty and Xavier Parent (Eds.). 2013. Handbook of deontic logic and normative systems. College Publications."},{"key":"e_1_3_2_1_8_1","volume-title":"Thornton","author":"Christian Gerdes J.","year":"2015"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2514601.2514608"},{"key":"e_1_3_2_1_10_1","unstructured":"Andrew Hawkins. [n. d.]. Waymo's self-driving cars are now available on Lyft's app in Phoenix. The Verge ([n. d.]).  Andrew Hawkins. [n. d.]. Waymo's self-driving cars are now available on Lyft's app in Phoenix. The Verge ([n. d.])."},{"key":"e_1_3_2_1_11_1","volume-title":"Deontic Logic: A historical survey and introduction.","author":"Hilpinen Risto","year":"2013"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","volume-title":"Agency and Deontic Logic","author":"Horty John","DOI":"10.1093\/0195134613.001.0001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_14_1","volume-title":"MCMAS: an open-source model checker for the verification of multi-agent systems. Intl. Jrnl. on Software Tools for Technology Transfer 19, 1 (01","author":"Lomuscio Alessio","year":"2017"},{"key":"e_1_3_2_1_15_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems --- Specification","author":"Manna Zohar"},{"key":"e_1_3_2_1_16_1","volume-title":"Deontic Logic. The Stanford Encyclopedia of Philosophy (Fall","author":"McNamara Paul","year":"2018"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.03.003"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/3000001.3000012"},{"key":"e_1_3_2_1_20_1","volume-title":"Formalising Traffic Rules for Accountability of Autonomous Vehicles. In 2015 IEEE 18th International Conference on Intelligent Transportation Systems. 1658--1665","author":"Rizaldi A."},{"key":"e_1_3_2_1_21_1","volume-title":"On a Formal Model of Safe and Scalable Self-driving Cars. (October","author":"Shalev-Shwartz Shai","year":"2018"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026185103185"},{"key":"e_1_3_2_1_23_1","first-page":"237","article-title":"Deontic Logic","volume":"60","author":"von Wright Georg H.","year":"1951","journal-title":"Mind"},{"key":"e_1_3_2_1_24_1","volume-title":"Gray-box Adversarial Testing for Control Systems with Machine Learning Components (HSCC '19)","author":"Yaghoubi Shakiba","year":"2019"}],"event":{"name":"HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control","location":"Sydney New South Wales Australia","acronym":"HSCC '20","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382203","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3365365.3382203","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:49:48Z","timestamp":1750268988000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3365365.3382203"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,22]]},"references-count":24,"alternative-id":["10.1145\/3365365.3382203","10.1145\/3365365"],"URL":"https:\/\/doi.org\/10.1145\/3365365.3382203","relation":{},"subject":[],"published":{"date-parts":[[2020,4,22]]},"assertion":[{"value":"2020-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}