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
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