Number of items: 4.
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
Towards terabit-per-second capacities over rmultimode fibre links using SCM/WDM techniques. (2003)
E.J. Tyler,
P. Kourtessis,
M. Webster,
E. Rochat,
T. Quinlan,
S. Dudley,
S.D. Walker,
R.V. Penty
and
I.H. White
This list was generated on Wed Apr 15 02:06:57 2026 BST.