{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T02:43:52Z","timestamp":1778121832523,"version":"3.51.4"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T00:00:00Z","timestamp":1675209600000},"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":["Computer"],"published-print":{"date-parts":[[2023,2]]},"DOI":"10.1109\/mc.2022.3192206","type":"journal-article","created":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T19:41:31Z","timestamp":1676058091000},"page":"40-47","source":"Crossref","is-referenced-by-count":7,"title":["Trustworthy Autonomous Systems Through Verifiability"],"prefix":"10.1109","volume":"56","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4869-6794","authenticated-orcid":false,"given":"Mohammad Reza","family":"Mousavi","sequence":"first","affiliation":[{"name":"Software Engineering, King’s College London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[{"name":"Royal Academy of Engineering Chair in Emerging Technologies, University of York, York, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0875-3862","authenticated-orcid":false,"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"Royal Academy of Engineering chair in Emerging Technologies, University of Manchester, Manchester, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Louise","family":"Dennis","sequence":"additional","affiliation":[{"name":"Senior Lecturer, University of Manchester, Manchester, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4771-1446","authenticated-orcid":false,"given":"Rob","family":"Hierons","sequence":"additional","affiliation":[{"name":"Professor of Testing, University of Sheffield, Sheffield, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bilal","family":"Kaddouh","sequence":"additional","affiliation":[{"name":"Lecturer in Aerial Robotics, University of Leeds, Leeds, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Effie Lai-Chong","family":"Law","sequence":"additional","affiliation":[{"name":"Professor of Computer Science, Specializing in Human–Computer Interaction, Durham University, Durham, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Richardson","sequence":"additional","affiliation":[{"name":"Professor of Robotics, University of Leeds, Leeds, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3610-3920","authenticated-orcid":false,"given":"Jan Oliver","family":"Ringer","sequence":"additional","affiliation":[{"name":"Lecturer in Software Engineering, King’s College London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Tyukin","sequence":"additional","affiliation":[{"name":"Professor of Mathematical Data Science and Modeling, King’s College London, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[{"name":"Professor of Software Engineering, University of York, York, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3390\/jsan10030041"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/pimrc48278.2020.9217142"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-18(1:14)2022"},{"key":"ref4","first-page":"70","article-title":"Tasking interface manager: Affording pilot control of adaptive automation and aiding","volume-title":"Contemporary Ergonomics 2000","author":"Bonner","year":"2004"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2019.01.004"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-92124-8_1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3389\/frobt.2017.00013"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-69128-8_2","article-title":"Trustworthy AI","volume-title":"Reflections on Artificial Intelligence for Humanity","author":"Chatila","year":"2021"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09912-w"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i13.17366"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1017\/9781108755023"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00609-z"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98938-9_10"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/issrew53611.2021.00109"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3447246"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3464974.3468452"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46750-4_17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3357231"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.4271\/j3016_201806"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1518\/hfes.46.1.50_30392"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3342355"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-018-00710-z"},{"key":"ref23","first-page":"1","article-title":"Would you trust a (faulty) robot?: Effects of error, task type and personality on human-robot cooperation and trust","volume-title":"Proc. ACM\/IEEE Int. Conf. 10th HRI","author":"Salem","year":"2015"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ase51524.2021.9678566"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919883338"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3389\/frobt.2021.665729"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24756-2_4"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/tse.2019.2962027"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/2\/10042075\/10042118.pdf?arnumber=10042118","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T14:46:18Z","timestamp":1707835578000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10042118\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2]]},"references-count":28,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mc.2022.3192206","relation":{},"ISSN":["0018-9162","1558-0814"],"issn-type":[{"value":"0018-9162","type":"print"},{"value":"1558-0814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,2]]}}}