Open-World Verification: A Grand Challenge for Autonomous Systems
Files
Publication date
2026-02-24
Authors
Leahy, Kevin
Asgari, Hamid
Dennis, Louise A.
Feather, Martin S.
Fisher, Michael
Ibanez-Guzman, Javier
Logan, Brian
Olszewska, Joanna I.
Redfield, Signe A.
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
taverne
Abstract
Keywords
Taverne, General Computer Science, Electrical and Electronic Engineering
Citation
Leahy, K, Asgari, H, Dennis, L A, Feather, M S, Fisher, M, Ibanez-Guzman, J, Logan, B, Olszewska, J I & Redfield, S A 2026, 'Open-World Verification : A Grand Challenge for Autonomous Systems', Proceedings of the IEEE, vol. 113, no. 11, pp. 1241-1250. https://doi.org/10.1109/JPROC.2026.3659717