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