Items where Author is "Dixon, C."

Item Type No Grouping

Conference or Workshop Item

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

"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