Publications

2017
Winfield, A. and Jirotka, M. (2017) The case for an ethical black box. In: Gao, Y., et al eds. (2017) Towards Autonomous Robot Systems, LNAI Vol 10454, pp 262-273. Download PDF

Vanderelst, D. and Winfield, A. (2017) An architecture for ethical robots inspired by the simulation theory of cognition. Cognitive Systems Research. ISSN 1389-0417

Vanderelst, D. and Winfield, A. (2017) Rational imitation for robots: The cost difference model. Adaptive Behavior, 25 (2). pp. 60-71. ISSN 1059-7123 Download DPF

Lucas Fernandes, Vinicius Custodio, Gleifer Alves and Michael Fisher. A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification. In Lukas Bulwahn, Maryam Kamali and Sven Linker (eds), Proc. First Workshop on Formal Verification of Autonomous Vehicles (FVAV 2017). Electronic Proceedings in Theoretical Computer Science 257(35-42), 2017.

Louise Dennis, Elisa Cucco and Michael Fisher. A General Architecture for Flexible Autonomous Systems. Workshop on Architectures for Generality and Autonomy (AGA 2017), 2017.

Elisa Cucco, Michael Fisher, Louise Dennis, Clare Dixon, Matt Webster, Bastian Broecker, Richard Williams, Joe Collenette, Katie Atkinson and Karl Tuyls. Towards Robots for Social Engagement. Workshop on Human-Robot Engagement in the Home, Workplace and Public Spaces (WHRE 2017), 2017.

Maryam Kamali, Louise A. Dennis, Owen McAree, Michael Fisher and Sandor M. Veres. Formal verification of autonomous vehicle platooning. Science of Computer Programming, 2017. DOI: 10.1016/j.scico.2017.05.006. Pre-print available at ArXiv pre-prints 1602.01718, 2016.

Vicky Charisi, Louise Dennis, Michael Fisher, Robert Lieck, Andreas Matthias, Marija Slavkovik, Janina Sombetzki, Alan F. T. Winfield, Roman Yampolskiy. Towards Autonomous
Moral Systems
. ArXiv e-prints, 1703.04741, 2017.

Louise A. Dennis. Gwendolen Semantics: 2017. University of Liverpool, Computer Science, Technical Report ULCS-17-001.

2016
Vanderelst, D. and Winfield, A. (2016) The dark side of ethical robots, arXiv:1606.02583v1.

M Fisher, C List, M Slavkovik, A Winfield. Engineering Moral Agents – from Human Morality to Artificial Morality. Dagstuhl Reports 6(5), 2016.

Louise A. Dennis, Marija Slavkovik and Michael Fisher. “How Did They Know?” – Model-Checking for Analysis of Information Leakage in Social Networks. Coordination, Organizations, Institutions and Norms at the European Conference on Artificial Intelligence 2016. Download from University of Liverpool

Louise A. Dennis, Jonathan M. Aitken, Joe Collenette, Elisa Cucco, Maryam Kamali, Owen McAree, Affan Shaukat, Katie Atkinson, Yang Gao, Sandor Veres, and Michael Fisher. Agent-based Autonomous Systems and Abstraction Engines: Theory meets Practice. Towards Autonomous Robotic Systems, 17th Annual Conference (TAROS 2016), 2016. Springer LNCS 9716, pages 75-86. Download from University of Liverpool

2015
Louise A. Dennis, Michael Fisher, Marija Slavkovik, and Matt Webster. Formal Verification of Ethical Choices in Autonomous Systems Robotics and Autonomous Systems. DOI:10.1016/j.robot.2015.11.012.

M. Birna van Riemsdijk, Louise A. Dennis, Michael Fisher, Koen V. Hindriks.
A Semantic Framework for Socially Adaptive Agents: Towards strong norm compliance. AAMAS 2015: 423-432. Download from University of Liverpool.

Dennis LA, Fisher M and Winfield AFT (2015), Towards Verifiably Ethical Robot Behaviour, Proceedings of the 1st International Workshop on AI and Ethics, Austin, Texas, 2015. Download from University of Liverpool.

2014

Winfield AFT, Blum C and Liu W (2014), Towards an Ethical Robot: Internal Models, Consequences and Ethical Action Selection, pp 85-96 in Advances in Autonomous Robotics Systems, Lecture Notes in Computer Science Volume 8717, Eds. Mistry M, Leonardis A, Witkowski M and Melhuish C, Springer, 2014. Download final draft (pdf).