Formal verification of ethical choices in autonomous systems

Louise A. Dennis, Michael Fisher, Marija Slavkovik, Matt Webster. Formal verification of ethical choices in autonomous systems. Robotics and Autonomous Systems, 77:1-14, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.