Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


Webster, Matt ORCID: 0000-0002-8817-6881, Salem, Maha, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael ORCID: 0000-0002-0875-3862 and Dautenhahn, Kerstin
(2014) Formal Verification of an Autonomous Personal Robotic Assistant. In: AIAA Symposium 2014 Workshop on Formal Verification in Human Machine Systems (FVHMS 2014), USA.


Webster, Matt ORCID: 0000-0002-8817-6881, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael ORCID: 0000-0002-0875-3862, Salem, Maha, Saunders, Joe, Koay, Kheng Lee, Dautenhahn, Kerstin and Saez-Pons, Joan
(2016) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). 186 - 196.

This list was generated on Sat May 15 21:34:34 2021 BST.