Items where Author is "Salem, M"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.
Article
Webster, M, Dixon, C, Fisher, M, Salem, M, Saunders, J, Koay, KL, Dautenhahn, K and Saez-Pons, J (2015) Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study. IEEE Transactions on Human-Machine Systems, 46 (2). pp. 186-196. ISSN 2168-2291