{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T16:05:10Z","timestamp":1784217910023,"version":"3.55.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:00:00Z","timestamp":1696118400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,1]]},"DOI":"10.1109\/smc53992.2023.10394479","type":"proceedings-article","created":{"date-parts":[[2024,1,29]],"date-time":"2024-01-29T18:32:04Z","timestamp":1706553124000},"page":"2537-2542","source":"Crossref","is-referenced-by-count":1,"title":["Formal Verification of Ethical Choices in Industrial CPS"],"prefix":"10.1109","author":[{"given":"Yinling","family":"Liu","sequence":"first","affiliation":[{"name":"Universite de Lorraine, CNRS, CRAN,Nancy,France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hind Bril","family":"El Haouzi","sequence":"additional","affiliation":[{"name":"Universite de Lorraine, CNRS, CRAN,Nancy,France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85521-5_39"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-80906-5_15"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.1486"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.1251"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99108-1_25"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99108-1_26"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICPS51978.2022.9816931"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10111-020-00657-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.031"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3390\/soc11030098"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2015.11.012"},{"issue":"4","key":"ref12","first-page":"15","article-title":"Machine ethics: Creating an ethical intelligent agent","volume":"28","author":"Anderson","year":"2007","journal-title":"AI magazine"},{"key":"ref13","article-title":"Proposition d\u2018un environnement de modelisation et de test d\u2019 architectures de pilotage par le produit de systemes de production","author":"Pannequin","year":"2007","journal-title":"Theses, Universite Henri Poincare - Nancy 1"},{"key":"ref14","article-title":"Toward an anthropocentric approach for intelligent man-ufacturing systems control architectures","volume-title":"PhD thesis, Universite de Lorraine","author":"Valette","year":"2022"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_31"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00807-4"},{"key":"ref17","first-page":"16","article-title":"Gwendolen: A bdi language for verifiable agents","volume-title":"Proceedings of the AISB 2008 Symposium on Logic and the Simulation of Interaction and Reasoning, Society for the Study of Artificial Intelligence and Simulation of Behaviour","author":"Dennis"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2012.07.069"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.05.006"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2017.12.042"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07512-9_1"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2019.106041"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10799-014-0185-1"}],"event":{"name":"2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","location":"Honolulu, Oahu, HI, USA","start":{"date-parts":[[2023,10,1]]},"end":{"date-parts":[[2023,10,4]]}},"container-title":["2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10391856\/10393862\/10394479.pdf?arnumber=10394479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T13:15:02Z","timestamp":1706793302000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10394479\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,1]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/smc53992.2023.10394479","relation":{},"subject":[],"published":{"date-parts":[[2023,10,1]]}}}