Paper Accepted: Formal Verification of Ethical Choices in Autonomous Systems

[purplecat]

From an email received by Matryoshka who has been masterminding everything:

I am pleased to confirm that your paper "Formal Verification of Ethical Choices in Autonomous Systems" has been accepted for publication in Robotics and Autonomous Systems.

This was originally a journal special issue version of our 2013 TAROS paper: Ethical Choice in Unforeseen Circumstances, but via a long and tortuous story its become more of a standalone extension of the work in its own right.

Comments

[purplecat]

We don't have an arXiv version. We will be paying for it to be open access once the final version gets submitted because that is part of our funding conditions. Otherwise, drop me an email ( work addy here: https://www.liv.ac.uk/computer-science/staff/louise-dennis/ )and I can send you the current draft.