Search
Now showing items 1-2 of 2
Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study
(2016-04-02)
It is essential for robots working in close proximity to people to be both safe and trustworthy. We present a case study on formal verification for a high-level planner/scheduler for the Care-O-bot, an autonomous personal ...
‘Teach Me - Show Me’- End-user personalisation of a smart home and companion robot
(2016-02-01)
Care issues and costs associated with an increasing elderly population is becoming a major concern for many countries. The use of assistive robots in ‘smart-home’ environments has been suggested as a possible partial ...