Formal verification of ethical choices in autonomous systems
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System