{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T22:48:03Z","timestamp":1769122083418,"version":"3.49.0"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Assuring Autonomy International Programme"},{"name":"UK Department for Transport."}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[2019,9]]},"DOI":"10.1109\/mc.2019.2914775","type":"journal-article","created":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T23:09:03Z","timestamp":1566860943000},"page":"82-89","source":"Crossref","is-referenced-by-count":20,"title":["Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy"],"prefix":"10.1109","volume":"52","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2050-6151","authenticated-orcid":false,"given":"Robin","family":"Bloomfield","sequence":"first","affiliation":[{"name":"Adelard LLP"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heidy","family":"Khlaaf","sequence":"additional","affiliation":[{"name":"Adelard LLP"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippa","family":"Ryan Conmy","sequence":"additional","affiliation":[{"name":"Adelard LLP"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gareth","family":"Fletcher","sequence":"additional","affiliation":[{"name":"Adelard LLP"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Towards the science of security and privacy in machine learning","author":"papernot","year":"2016"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/368"},{"key":"ref12","article-title":"Motivating the rules of the game for adversarial example research","author":"gilmer","year":"2018"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2008.930649"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3183519.3183534"},{"key":"ref4-sidebar1","author":"rushby","year":"2015","journal-title":"The interpretation and evaluation of assurance cases"},{"key":"ref1-sidebar1","year":"0"},{"key":"ref2-sidebar1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1534-2_14"},{"key":"ref5-sidebar1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2014.72"},{"key":"ref4","year":"0"},{"key":"ref6-sidebar1","doi-asserted-by":"publisher","DOI":"10.2307\/1068138"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2018.3191260"},{"key":"ref6","article-title":"Explaining and harnessing adversarial examples","author":"goodfellow","year":"0","journal-title":"Proc Int Conf Learning Representations—Computational and Biological Learning Society"},{"key":"ref5","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2013"},{"key":"ref8","article-title":"Safety verification of deep neural networks","author":"huang","year":"2016"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-63387-9_5","article-title":"Reluplex: An efficient SMT solver for verifying deep neural networks","author":"katz","year":"2017"},{"key":"ref7-sidebar1","author":"toulmin","year":"1958","journal-title":"The Uses of Argument"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.7249\/RR1478"},{"key":"ref3-sidebar1","year":"2018","journal-title":"Dependability assessment of software for safety instrumentation and control systems at nuclear power plants"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/2\/8812026\/08812789.pdf?arnumber=8812789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T20:53:58Z","timestamp":1657745638000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8812789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":21,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/mc.2019.2914775","relation":{},"ISSN":["0018-9162","1558-0814"],"issn-type":[{"value":"0018-9162","type":"print"},{"value":"1558-0814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,9]]}}}