- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire by Author "Fisher, Michael"
Now showing items 1-2 of 2
-
Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study
Webster, Matt; Dixon, Clare; Fisher, Michael; Salem, Maha; Saunders, Joe; Koay, Kheng Lee; Dautenhahn, K.; Saez-Pons, Joan (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 ... -
Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study
Koay, Kheng; Webster, Matt; Dixon, Clare; Gainer, Paul; Syrdal, Dag Sverre; Fisher, Michael; Dautenhahn, Kerstin (2021-09-15)When studying the use of assistive robots in home environments, and especially how such robots can be personalised to meet the needs of the resident, key concerns are issues relating to behaviour verification, behaviour ...