External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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

Authors

Kheng Lee Koay

This author has not been identified. Look up 'Kheng Lee Koay' in Google

Matt Webster

This author has not been identified. Look up 'Matt Webster' in Google

Clare Dixon

This author has not been identified. Look up 'Clare Dixon' in Google

Paul Gainer

This author has not been identified. Look up 'Paul Gainer' in Google

Dag Sverre Syrdal

This author has not been identified. Look up 'Dag Sverre Syrdal' in Google

Michael Fisher 0001

This author has not been identified. Look up 'Michael Fisher 0001' in Google

Kerstin Dautenhahn

This author has not been identified. Look up 'Kerstin Dautenhahn' in Google
runs on