Up a level |
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.