@inproceedings{5c60263fe9284cf490f3519413e492cb,
title = "Can you trust your robotic assistant?",
abstract = "Robotic assistants are being developed to assist with a range of tasks at work and home. Besides designing and developing such robotic assistants, a key issue that needs to be addressed is showing that they are both safe and trustworthy. We discuss our approach to this using formal verification, simulation-based testing and formative user evaluation.",
author = "F. Amirabdollahian and K. Dautenhahn and C. Dixon and K. Eder and M. Fisher and K.L. Koay and E. Magid and T. Pipe and M. Salem and J. Saunders and M. Webster",
year = "2013",
month = oct,
language = "English",
isbn = "9783319026749",
series = "Lecture Notes in Computer Science (LNAI)",
publisher = "Springer Nature",
pages = "571--573",
editor = "G. Herrmann",
booktitle = "Social Robotics",
address = "Netherlands",
note = "5th Int Conf on Social Robotics ; Conference date: 27-10-2013 Through 29-10-2013",
}