Open-world verification: a grand challenge for autonomous systems
- Kevin Leahy
- , Hamid Asgari
- , Louise A. Dennis
- , Martin S. Feather
- , Michael Fisher
- , Javier Ibanez-Guzman
- , Brian Logan
- , Joanna I. Olszewska
- , Signe Redfield
Research output: Contribution to journal › Article › peer-review
1
Downloads
(Pure)