Formal verification of ethical choices in autonomous systems
Top Cited Papers
Open Access
- 1 March 2016
- journal article
- Published by Elsevier BV in Robotics and Autonomous Systems
- Vol. 77, 1-14
- https://doi.org/10.1016/j.robot.2015.11.012
Abstract
No abstract availableKeywords
Funding Information
- EPSRC
- ERDF/NWDA
This publication has 21 references indexed in Scilit:
- Verifying autonomous systemsCommunications of the ACM, 2013
- Model checking agent programming languagesAutomated Software Engineering, 2011
- Decision support for ethical problem solving: A multi-agent approachDecision Support Systems, 2007
- The Nature, Importance, and Difficulty of Machine EthicsIEEE Intelligent Systems, 2006
- Artificial Morality: Top-down, Bottom-up, and Hybrid ApproachesEthics and Information Technology, 2005
- Extensionally defining principles and cases in ethics: An AI modelArtificial Intelligence, 2003
- A code of conduct for robots coexisting with human beingsRobotics and Autonomous Systems, 1996
- Resolving Conflicts Among Principles: Ranking, Balancing, and SpecifyingKennedy Institute of Ethics Journal, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- Planning in a hierarchy of abstraction spacesArtificial Intelligence, 1974