On Proactive, Transparent, and Verifiable Ethical Reasoning for Robots | IEEE Journals & Magazine | IEEE Xplore