@misc{indiciaed869ef1b2625,
  title = {Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations},
  author = {Colin Shea-Blymyer and Houssam Abbas},
  year = {2021},
  doi = {10.1145/3460975},
  url = {https://arxiv.org/abs/2105.02851},
  note = {Source identifier: 2105.02851}
}