Items where Author is "Webster, Matt"

Item Type No Grouping

Article

Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study. (2021) Kheng Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher and Kerstin Dautenhahn

Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study. (2016) Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, K. Dautenhahn and Joan Saez-Pons