research
∙
05/06/2021
Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations
We develop a formal framework for automatic reasoning about the obligati...
research
∙
09/01/2020