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