Louise Abigail Dennis, Michael Fisher, Alan F. T. Winfield. Towards Verifiably Ethical Robot Behaviour. In Toby Walsh, editor, Artificial Intelligence and Ethics, Papers from the 2015 AAAI Workshop, Austin, Texas, USA, January 25, 2015. Volume WS-15-02 of AAAI Workshops, AAAI Press, 2015. [doi]
Abstract is missing.