Paper

a case study

Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, Kerstin Dautenhahn, and Joan Saez-Pons. 2016. Toward reliable autonomous robotic assistants through formal verification: a case study. IEEE Transactions on Human-Machine Systems 46, 2 (2016), 186--196.

2016

Created by ACM worker at 2019-04-10 14:46:58.0.
Last updated by ACM worker at 2019-04-16 19:59:55.0.
Simplified Graph of Associations
Word Cloud
Quid