Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

Colin Shea-Blymyer, Houssam Abbas

We develop a formal framework for automatic reasoning about the obligations of autonomous cyber-physical systems, including their social and ethical obligations. Obligations, permi…