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