Author

Number of items: 5.

2016

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

2015

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.

2014

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.

2013

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.