@article{robots, Author = {Louise A. Dennis and Michale Fisher and Marija Slavkovik and Matt Webster}, Date-Added = {2016-07-12 11:20:34 +0000}, Date-Modified = {2016-07-12 11:20:34 +0000}, Doi = {http://dx.doi.org/10.1016/j.robot.2015.11.012}, Issn = {0921-8890}, Journal = {Robotics and Autonomous Systems}, Keywords = {Formal verification}, Pages = {1 - 14}, Title = {Formal verification of ethical choices in autonomous systems}, Url = {http://www.sciencedirect.com/science/article/pii/S0921889015003000}, Volume = {77}, Year = {2016}, Bdsk-Url-1 = {http://www.sciencedirect.com/science/article/pii/S0921889015003000}, Bdsk-Url-2 = {http://dx.doi.org/10.1016/j.robot.2015.11.012}}