Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

Open in new window