purplecat: Hand Drawn picture of a Toy Cat (Default)
purplecat ([personal profile] purplecat) wrote2015-11-24 09:30 am
  • Add Memory
  • Share This Entry
Entry tags:

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.
Threaded | Top-Level Comments Only

[identity profile] wellinghall.livejournal.com 2015-11-24 09:06 am (UTC)(link)
Well done!
purplecat: Hand Drawn picture of a Toy Cat (Default)

[personal profile] purplecat 2015-11-24 01:08 pm (UTC)(link)
Thanks!
eve11: (Default)

[personal profile] eve11 2015-11-24 06:05 pm (UTC)(link)
Congrats! Do you have an arXiv version you could point me to? I'm interested to read it.
purplecat: Hand Drawn picture of a Toy Cat (Default)

[personal profile] purplecat 2015-11-25 09:02 am (UTC)(link)
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.
Threaded | Top-Level Comments Only