Can you trust your robotic assistant?
View/ Open
Author
Amirabdollahian, F.
Dautenhahn, K.
Dixon, C.
Eder, K.
Fisher, M.
Koay, K.L.
Magid, E.
Pipe, T.
Salem, M.
Saunders, J.
Webster, M.
Attention
2299/13014
Abstract
Robotic assistants are being developed to assist with a range of tasks at work and home. Besides designing and developing such robotic assistants, a key issue that needs to be addressed is showing that they are both safe and trustworthy. We discuss our approach to this using formal verification, simulation-based testing and formative user evaluation.