Formal verification of ethical choices in autonomous systems
The Algorithmic Analysis of Hybrid Systems