On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots



Bremner, Paul, Dennis, Louise A ORCID: 0000-0003-1426-1896, Fisher, Michael ORCID: 0000-0002-0875-3862 and Winfield, Alan F
(2019) On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots. PROCEEDINGS OF THE IEEE, 107 (3). 541 - 561.

[img] Text
Explicitly_Ethical__Verifiable__Proactive_Plan_Selection_for_Robotic_Systems__title__Transparent_and_Verifiable_Robot_Ethics_On_Proactive__Transparent.pdf - Accepted Version

Download (3MB)
Item Type: Article
Uncontrolled Keywords: Ethics, formal verification, intelligent robots, software architecture
Depositing User: Symplectic Admin
Date Deposited: 14 Feb 2019 08:42
Last Modified: 13 Sep 2022 23:11
DOI: 10.1109/JPROC.2019.2898267
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3032777