Paper

Formal Verification and Modeling in Human-Machine Systems

Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay, and Kerstin Dautenhahn. 2014. Formal verification of an autonomous personal robotic assistant. In AAAI Spring Symposium: Formal Verification and Modeling in Human-Machine Systems. 74--79.

2014

Created by ACM worker at 2019-04-10 14:46:51.0.
Simplified Graph of Associations
Word Cloud
Quid