Formal verification of an autonomous personal robotic assistant

M. Webster, C. Dixon, M. Fisher, Maha Salem, Joe Saunders, Kheng Koay, K. Dautenhahn

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22 Citations (Scopus)
112 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Formal verification of an autonomous personal robotic assistant'. Together they form a unique fingerprint.

Engineering & Materials Science