Number of items: 2.
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
This list was generated on Wed Jul 8 02:16:21 2026 BST.