Abstract As automation in artificial intelligence is increasing, we will need to automate a growing amount of ethical decision making. However, decision- making raises novel challenges for engineers, ethicists and policymakers, who have explore new ways realize this task. The presented work focuses on the development formalization models that aim at ensuring correct behaviour intelligent agents...