Publication

Number of items: 2.
Public
  • 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
    • Restricted
  • ‘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
    • This list was generated on Sun Aug 2 02:49:40 2026 BST.