- UHRA Home
- Browsing by Author
Browsing by Author "Fisher, M."
Now showing items 1-3 of 3
-
Can you trust your robotic assistant?
Amirabdollahian, F.; Dautenhahn, K.; Dixon, C.; Eder, K.; Fisher, M.; Koay, K.L.; Magid, E.; Pipe, T.; Salem, M.; Saunders, J.; Webster, M. (Springer Nature, 2013-10)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 ... -
Formal verification of an autonomous personal robotic assistant
Webster, M.; Dixon, C.; Fisher, M.; Salem, Maha; Saunders, Joe; Koay, Kheng; Dautenhahn, K. (AAAI, 2014-03)Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of ... -
"The fridge door is open" : temporal verification of a robotic assistant's behaviours
Dixon, C.; Webster, M.; Saunders, Joe; Fisher, M.; Dautenhahn, K. (Springer Nature, 2014)Robotic assistants are being designed to help, or work with, humans in a variety of situations from assistance within domestic situations, through medical care, to industrial settings. Whilst robots have been used in ...