Publication

Date Item Type Full Text Status

2 April 2016

Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study. (2016) Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, K. Dautenhahn and Joan Saez-Pons

1 February 2016

‘Teach Me - Show Me’- End-user personalisation of a smart home and companion robot. (2016) Joe Saunders, D.S. Syrdal, Kheng Koay, Nathan Burke and K. Dautenhahn