Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study

Kheng Koay, Matt Webster, Clare Dixon, Paul Gainer, Dag Sverre Syrdal, Michael Fisher, Kerstin Dautenhahn

Research output: Contribution to journal › Article › peer-review

17 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Use and usability of software verification methods to detect behaviour interference when teaching an assistive home companion robot: A proof-of-concept study'. Together they form a unique fingerprint.

Medicine & Life Sciences

Engineering & Materials Science