Items where Author is "Dixon, C."

Number of items: 3.
Other
  • Formal verification of an autonomous personal robotic assistant. (2014) M. Webster, C. Dixon, M. Fisher, Maha Salem, Joe Saunders, Kheng Koay and K. Dautenhahn
  • "The fridge door is open" : temporal verification of a robotic assistant's behaviours. (2014) C. Dixon, M. Webster, Joe Saunders, M. Fisher and K. Dautenhahn
  • Can you trust your robotic assistant? (2013) F. Amirabdollahian, K. Dautenhahn, C. Dixon, K. Eder, M. Fisher, K.L. Koay, E. Magid, T. Pipe, M. Salem, J. Saunders and M. Webster