Publication
Number of items: 2.
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