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