Author

Date Item Type No Grouping

Article

Webster, Matt, Dixon, Clare, Fisher, Michael, Salem, Maha, Saunders, Joe, Koay, Kheng Lee, Dautenhahn, K. and Saez-Pons, Joan (2016) Toward Reliable Autonomous Robotic Assistants Through Formal Verification : A Case Study. pp. 186-196. ISSN 2168-2305

Other

Salem, Maha, Lakatos, Gabriella, Amirabdollahian, Farshid and Dautenhahn, K. (2015) Towards Safe and Trustworthy Social Robots : Ethical Challenges and Practical Issues. UNSPECIFIED. Salem, Maha and Dautenhahn, K. (2015) Evaluating Trust and Safety in HRI : Practical Issues and Ethical Challenges. ACM Press. Webster, M., Dixon, C., Fisher, M., Salem, Maha, Saunders, Joe, Koay, Kheng and Dautenhahn, K. (2014) Formal verification of an autonomous personal robotic assistant. AAAI. Amirabdollahian, F., Dautenhahn, K., Dixon, C., Eder, K., Fisher, M., Koay, K.L., Magid, E., Pipe, T., Salem, M., Saunders, J. and Webster, M. (2013) Can you trust your robotic assistant? Springer Nature.