@misc{indiciae2f082317352d,
  title = {Synchronous Agents, Verification, and Blame -- A Deontic View},
  author = {Karam Kharraz and Shaun Azzopardi and Gerardo Schneider and Martin Leucker},
  year = {2023},
  url = {https://arxiv.org/abs/2309.14048},
  note = {Source identifier: 2309.14048}
}