@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}}