Items where Author is "Fisher, M."
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
"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