![]() | Up a level |
Webster, Matt ORCID: 0000-0002-8817-6881, Salem, Maha, Dixon, Clare
ORCID: 0000-0002-4610-9533, Fisher, Michael and Dautenhahn, Kerstin
(2014)
Formal Verification of an Autonomous Personal Robotic Assistant.
In: AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014), USA.
Dixon, Clare, Webster, Matt ORCID: 0000-0002-8817-6881, Saunders, Joe, Fisher, Michael and Dautenhahn, Kerstin
(2014)
“The Fridge Door is Open”–Temporal Verification of a Robotic Assistant’s Behaviours.
In: Towards Autonomous Robotic Systems (TAROS), The Library of Birmingham.
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.