Number of items: 3.
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
This list was generated on Wed Jul 22 01:20:46 2026 BST.