Publications

Here are the publications from the RoboSafe project since the project's start in March 2013. Each publication has a link to a PDF of a preprint, or a link to a website where you can read the full text.

1. Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, and Anthony G Pipe. A Corroborative Approach to Verification and Validation of Human–Robot Teams. The International Journal of Robotics Research, (November 2019). doi:10.1177/0278364919883338. [arXiv]
2. Gainer, P., Dixon C., Dautenhahn, K., Fisher M., Hustadt, U., Saunders J. and Webster, M. CRutoN: Automatic Verification of a Robotic Assistant's Behaviours, FMICS-AVoCS 2017, Springer, LNCS Volume 10471, 2017, pages 119-133.
3. Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe and Kerstin Eder. Believing in BERT:Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction. Preprint: arXiv:1605.08817 [cs.RO].
4. Marija Slavkovik, Louise Dennis, Michael Fisher and Matt Webster. Formal Verification of Ethical Choices in Autonomous Systems, in Robotics and Autonomous Systems, 2016.
5. K. Eder, C. Harper and U. Leonards, "Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'," The 23rd IEEE International Symposium on Robot and Human Interactive Communication, Edinburgh, 2014, pp. 660-665. doi: 10.1109/ROMAN.2014.6926328
6. Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe and Kerstin Eder, Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction, Proceedings of RO-MAN 2016. To appear.
7. J. Saunders, D. S. Syrdal, K. L. Koay, N. Burke and K. Dautenhahn, "“Teach Me–Show Me”—End-User Personalization of a Smart Home and Companion Robot," in IEEE Transactions on Human-Machine Systems, vol. 46, no. 1, pp. 27-40, open Access, Feb. 2016. doi: 10.1109/THMS.2015.2445105.
8. Dejanira Araiza-Illan, Anthony G. Pipe and Kerstin Eder. Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. (To appear in) Proceedings of Third Workshop on Model-Driven Robot Software Engineering (MORSE) 2016.
9. Dejanira Araiza-Illan, David Western, Anthony G. Pipe and Kerstin Eder. Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. In Proceedings of Towards Robotic Autonomous Systems (TAROS) 2016, LNAI Volume 9716, pp. 20-32. DOI: 10.1007/978-3-319-40379-3_3
10. Louise A. Dennis, Michael Fisher and Matt Webster. Two-Stage Agent Program Verification. Journal of Logic and Computation, 2015. DOI: 10.1093/logcom/exv002.
11. M. Birna van Riemsdijk, Louise Dennis, Michael Fisher, and Koen V. Hindriks. 2015. A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. In Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS '15). International Foundation for Autonomous Agents and Multiagent Systems, Richland, SC, 423-432.
12. Dejanira Araiza-Illan, David Western, Anthony G. Pipe and Kerstin Eder. Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans. In Proceedings of Haifa Verification Conference (HVC) 2015, LNCS Volume 9434, pp. 1-16. DOI: 10.1007/978-3-319-26287-1_5
13. Maha Salem, Gabriella Lakatos, Farshid Amirabdollahian, Kerstin Dautenhahn (2015) Towards safe and trustworthy social robots: Ethical challenges and practical issues. Seventh International Conference on Social Robotics (ICSR 2015), LNAI 9388, pp. 584-593.
14. Maha Salem, Gabriella Lakatos, Farshid Amirabdollahian, Kerstin Dautenhahn (2015). Would You Trust a (Faulty) Robot? Effects of Error, Task Type and Personality on Human-Robot Cooperation and Trust. In: Proceedings of the 10th ACM/IEEE International Conference on Human-Robot Interaction (HRI 2015), pp. 141-148, Portland, Oregon, USA --Nominated for Best Paper Award
15. Webster, M., Dixon, C., Fisher, M., Salem, M., Saunders, J., Koay, K.L., Dautenhahn, K., Saez-Pons, J., Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study, in IEEE Transactions on Human-Machine Systems, no. 99, pp. 1-11. Open access, DOI 10.1109/THMS.2015.2425139.
16. Clare Dixon, Matt Webster, Joe Saunders, Michael Fisher and Kerstin Dautenhahn. "The fridge door is open" — Temporal Verification of a Robotic Assistant’s Behaviours. In Proceedings of Towards Autonomous Robotic Systems (TAROS 2014), Springer Lecture Notes in Computer Science. To appear. Won the Springer Award for Best Paper.
17. Kerstin Eder, Chris Harper, Evgeni Magid and Anthony Pipe. Moving Towards Safety Assurance for Autonomous Robotic Assistants. In Space Safety Magazine, 19 May 2014.
18. Matt Webster, Clare Dixon, Michael Fisher, Maha Salem, Joe Saunders, Kheng Lee Koay and Kerstin Dautenhahn. Formal Verification of an Autonomous Personal Robotic Assistant (PDF preprint). In Formal Verification and Modeling in Human-Machine Systems: Papers from the AAAI Spring Symposium (FVHMS 2014). ISBN 978-1-57735-655-4.
19. Michael Fisher. If you want to trust a robot, look at how it makes decisions. The Conversation, 10th March 2014.
20. Matt Webster, Clare Dixon and Michael Fisher.Safe and Trustworthy Autonomous Robotic Assistants (PDF here). In Space Safety Magazine, Issue 9, Winter 2014. ISSN: 2214-0379.
21. Louise Dennis, Michael Fisher, Marija Slavkovik and Matt Webster. Ethical Choice in Unforeseen Circumstances (PDF preprint). Proceedings of the 14th Towards Autonomous Robotic Systems (TAROS 2013) conference. To appear in Lecture Notes in Artificial Intelligence, Springer.
22. Michael Fisher, Louise Dennis and Matt Webster. Verifying Autonomous Systems (preprint). In Communications of the ACM 56(9):84--93, 2013.
23. Farshid Amirabdollahian, Kerstin Dautenhahn, Clare Dixon, Kerstin Eder, Michael Fisher, Kheng Lee Koay, Evgeni Magid, Tony Pipe, Maha Salem, Joe Saunders and Matt Webster. Can You Trust Your Robotic Assistant? (PDF preprint). In G. Herrmann et al., editors, 5th International Conference in Social Robotics (ICSR 2013), volume 8239 of Lecture Notes in Artificial Intelligence, pages 571–573. Springer, 2013.