Formal verification of ethical choices in autonomous systems (bibtex)

by Louise A. Dennis, Michale Fisher, Marija Slavkovik and Matt Webster

Reference:

Formal verification of ethical choices in autonomous systems (Louise A. Dennis, Michale Fisher, Marija Slavkovik and Matt Webster), In Robotics and Autonomous Systems, volume 77, 2016.

Bibtex Entry:

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