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