{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T20:39:37Z","timestamp":1777063177996,"version":"3.51.4"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T00:00:00Z","timestamp":1761955200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2025,11]]},"DOI":"10.1109\/jproc.2026.3659717","type":"journal-article","created":{"date-parts":[[2026,2,24]],"date-time":"2026-02-24T20:58:20Z","timestamp":1771966700000},"page":"1241-1250","source":"Crossref","is-referenced-by-count":0,"title":["Open-World Verification: A Grand Challenge for Autonomous Systems"],"prefix":"10.1109","volume":"113","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5894-7190","authenticated-orcid":false,"given":"Kevin","family":"Leahy","sequence":"first","affiliation":[{"name":"Robotics Engineering Department, Worcester Polytechnic Institute, Worcester, MA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9317-7045","authenticated-orcid":false,"given":"Hamid","family":"Asgari","sequence":"additional","affiliation":[{"name":"Complex and Autonomous Systems Research Group, Thales U.K. Research, RG2 6GF Reading, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1426-1896","authenticated-orcid":false,"given":"Louise A.","family":"Dennis","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, M13 9PL Manchester, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8448-4385","authenticated-orcid":false,"given":"Martin S.","family":"Feather","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0875-3862","authenticated-orcid":false,"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of Manchester, Manchester, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5300-9709","authenticated-orcid":false,"given":"Javier","family":"Ibanez-Guzman","sequence":"additional","affiliation":[{"name":"Renault S.A., Guyancourt, France"}]},{"given":"Brian","family":"Logan","sequence":"additional","affiliation":[{"name":"Department of Computing Science, University of Aberdeen, Aberdeen, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5945-7505","authenticated-orcid":false,"given":"Joanna I.","family":"Olszewska","sequence":"additional","affiliation":[{"name":"School of Computing and Engineering, University of the West of Scotland, Glasgow, U.K."}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5428-6054","authenticated-orcid":false,"given":"Signe A.","family":"Redfield","sequence":"additional","affiliation":[{"name":"Robotistry.Org, Halifax, NS, Canada"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3542945"},{"key":"ref2","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref3","volume-title":"Model Checking (Cyber Physical Systems Series)","author":"Clarke","year":"2018"},{"key":"ref4","volume-title":"Principles of Cyber-Physical Systems","author":"Alur","year":"2015"},{"key":"ref5","volume-title":"Verifying Cyber-Physical Systems: A Path to Safe Autonomy (Cyber Physical Systems Series)","author":"Mitra","year":"2021"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3503914"},{"key":"ref8","article-title":"Autonomy verification & validation roadmap and vision 2045","volume-title":"NASA","author":"Brat","year":"2023"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2891969"},{"key":"ref10","article-title":"Assured autonomy: Path toward living with autonomous systems we can trust","author":"Topcu","year":"2020","journal-title":"arXiv:2010.14443"},{"key":"ref11","first-page":"1","article-title":"Verification of autonomous mobile systems: Directions for future developments","volume-title":"Proc. Recommendations From 1st Int. Symp. Verification Auton. Mobile Syst.","author":"Fisher"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2005.96278"},{"key":"ref13","volume-title":"Vehicles: Experiments in Synthetic Psychology","author":"Braitenberg","year":"1986"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2015.11.012"},{"key":"ref15","article-title":"On a formal model of safe and scalable self-driving cars","author":"Shalev-Shwartz","year":"2017","journal-title":"arXiv:1708.06374"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2351672"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-024-02117-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirpj.2020.02.002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1561\/2200000101"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.4271\/j3216_202005"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2020.3022030"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2021.3069959"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.2024.3351798"},{"key":"ref25","volume-title":"Recommendations on evidence and process for certification of learning-enabled components in aerospace systems","author":"Agogino","year":"2024"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1080\/001401398186108"},{"key":"ref27","article-title":"Tell me what you want (what you really, really want): Addressing the expectation gap for goal conveyance from humans to robots","author":"Leahy","year":"2024","journal-title":"arXiv:2403.14344"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-71162-6_30"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.52202\/079017-3783"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3649833"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/5\/11477955\/11409875.pdf?arnumber=11409875","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T19:46:52Z","timestamp":1777060012000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11409875\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":30,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2026.3659717","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11]]}}}