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

by Koay Kheng Lee, Webster Matt, Dixon Clare, Gainer Paul, Syrdal Dag, Fisher Michael, Dautenhahn Kerstin
Published 2021-09-01