Formal verification of ethical choices in autonomous systems.

Louise A. Dennis Michael Fisher Marija Slavkovik Matt Webster

Published in: Robotics Auton. Syst. (2016)

Keyphrases

autonomous systems
formal verification
model checking
model checker
bounded model checking
uncertain environments
automated verification
dynamic environments
autonomous navigation
symbolic model checking
dynamic and uncertain environments
artificial intelligence
temporal logic
formal methods
situation awareness