Fingerprint
Dive into the research topics of 'Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study
Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, K. Dautenhahn, Joan Saez-Pons
Research output: Contribution to journal › Article › peer-review
33
Citations
(Scopus)
121
Downloads
(Pure)