Koay, K. L., Webster, M. ., Dixon, C. ., Gainer, P. ., Syrdal, D. ., Fisher, M. ., & Dautenhahn, K. . (2021). Use and Usability of Software Verification Methods to Detect Behaviour Interference when Teaching an Assistive Home Companion Robot. Journal of Behavioral Robotics. Retrieved from 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