Search
Now showing items 1-2 of 2
Formal verification of an autonomous personal robotic assistant
(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
(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 ...