External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Louise A. Dennis

This author has not been identified. Look up 'Louise A. Dennis' in Google

Michael Fisher

This author has not been identified. Look up 'Michael Fisher' in Google

Marija Slavkovik

This author has not been identified. Look up 'Marija Slavkovik' in Google

Matt Webster

This author has not been identified. Look up 'Matt Webster' in Google
runs on