Publication | Open Access

Formal verification of ethical choices in autonomous systems