Log in

No account? Create an account
24 November 2015 @ 09:30 am
Paper Accepted: Formal Verification of Ethical Choices in Autonomous Systems  
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.

This entry was originally posted at http://purplecat.dreamwidth.org/178965.html.
wellinghallwellinghall on November 24th, 2015 09:06 am (UTC)
Well done!
louisedennislouisedennis on November 24th, 2015 01:08 pm (UTC)
eve11eve11 on November 24th, 2015 06:05 pm (UTC)
Congrats! Do you have an arXiv version you could point me to? I'm interested to read it.
louisedennislouisedennis on November 25th, 2015 09:02 am (UTC)
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.