TY  - RPRT
TI  - Synchronous Agents, Verification, and Blame -- A Deontic View
AU  - Karam Kharraz
AU  - Shaun Azzopardi
AU  - Gerardo Schneider
AU  - Martin Leucker
PY  - 2023
UR  - https://arxiv.org/abs/2309.14048
ID  - 2309.14048
ER  -