Publication

Number of items: 1.
March 2014
  • Formal verification of an autonomous personal robotic assistant. (2014) M. Webster, C. Dixon, M. Fisher, Maha Salem, Joe Saunders, Kheng Koay and K. Dautenhahn picture_as_pdf
    • This list was generated on Mon Aug 17 03:01:55 2026 BST.