Implementations in Machine Ethics: A SurveyACM Computing Surveys (ACM CSUR), 2020 |
Formal Specification and Verification of Autonomous Robotic Systems: A
SurveyACM Computing Surveys (CSUR), 2018 |
The Dark Side of Ethical RobotsAAAI/ACM Conference on AI, Ethics, and Society (AIES), 2016 |