Dennis, L. A., Fisher, M., & Winfield, A. F. (2015, January). Towards verifiably ethical robot behaviour. Presented at Twenty-Ninth AAAI Conference on Artificial Intelligence, Texas, USA