 | Up a level |
Webster, Matt 
ORCID: 0000-0002-8817-6881, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Salem, Maha, Saunders, Joe, Koay, Kheng Lee, Dautenhahn, Kerstin and Saez-Pons, Joan
(2016)
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study.
IEEE Transactions on Human-Machine Systems, 46 (2).
pp. 186-196.
Koay, Kheng Lee, Webster, Matt, Dixon, Clare, Gainer, Paul, Syrdal, Dag, Fisher, Michael and Dautenhahn, Kerstin
(2021)
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study.
Paladyn, Journal of Behavioral Robotics, 12 (1).
pp. 402-422.