Up a level |
Webster, Matt ORCID: 0000-0002-8817-6881, Western, David, Araiza-Illan, Dejanira, Dixon, Clare ORCID: 0000-0002-4610-9533, Eder, Kerstin, Fisher, Michael and Pipe, Anthony
(2020)
A Corroborative Approach to Verification and Validation of Human–Robot Teams.
International Journal of Robotics Research, 39 (1).
pp. 73-99.
Araiza-Illan, Dejanira, Fisher, Michael, Leahy, Kevin, Olszewska, Joanna Isabelle and Redfield, Signe
(2022)
Verification of Autonomous Systems.
IEEE ROBOTICS & AUTOMATION MAGAZINE, 29 (1).
pp. 99-101.