48CADCFE-F049-4B9A-AD99-9F466B80A325Verifiable AutonomyResearch GrantEP/L024845/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL64079105939BE1-47A4-411A-8D0C-9354E115A255Formal verification of ethical choices in autonomous systemsRobotics and Autonomous Systems4f55a8003eb38385647eda99ecfea1e9Dennis L2016-01-01http://dx.doi.org/10.1016/j.robot.2015.11.012http://dx.doi.org/10.1016/j.robot.2015.11.012Journal Article/Review56b071ca93cd34.92448594