Article

Koay, KL, Webster, M, Dixon, C, Gainer, P, Syrdal, D, Fisher, M and Dautenhahn, K (2021) Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. Paladyn, Journal of Behavioral Robotics, 12 (1). pp. 402-422. ISSN 2080-9778

Webster, M, Dixon, C, Fisher, M, Salem, M, Saunders, J, Koay, KL, Dautenhahn, K and Saez-Pons, J (2015) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196. ISSN 2168-2291