Use and Usability of Software Verification Methods to Detect Behaviour Interference when Teaching an Assistive Home Companion Robot

Title Use and Usability of Software Verification Methods to Detect Behaviour Interference when Teaching an Assistive Home Companion Robot
Author
Kheng Koay
Matt Webster
Clare Dixon
Paul Gainer
Dag Syrdal
Michael Fisher
Kerstin Dautenhahn
Year of Publication
2021
Journal
Journal of Behavioral Robotics
URL
https://www.research.manchester.ac.uk/portal/en/publications/use-and-usability-of-software-verification-methods-to-detect-behaviour-interference-when-teaching-an-assistive-home-companion-robot(00ce2eb4-a6d2-41b2-a160-efdc4c4f70b6).html
Download citation