Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations

no code implementations • 6 May 2021 • 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.

Ethics Self-Driving Cars