@misc{kharraz2023synchronous,
      title={Synchronous Agents, Verification, and Blame -- A Deontic View}, 
      author={Karam Kharraz and Shaun Azzopardi and Gerardo Schneider and Martin Leucker},
      year={2023},
      eprint={2309.14048},
      archivePrefix={arXiv},
      booktitle={arXiv},
      primaryClass={cs.LO},
      url={https://arxiv.org/abs/2309.14048}
}

{"_id":"JHf58XBGGAesRQ6XQ","bibbaseid":"kharraz-azzopardi-schneider-leucker-synchronousagentsverificationandblameadeonticview-2023","author_short":["Kharraz, K.","Azzopardi, S.","Schneider, G.","Leucker, M."],"bibdata":{"bibtype":"misc","type":"misc","title":"Synchronous Agents, Verification, and Blame – A Deontic View","author":[{"firstnames":["Karam"],"propositions":[],"lastnames":["Kharraz"],"suffixes":[]},{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Gerardo"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Leucker"],"suffixes":[]}],"year":"2023","eprint":"2309.14048","archiveprefix":"arXiv","booktitle":"arXiv","primaryclass":"cs.LO","url":"https://arxiv.org/abs/2309.14048","bibtex":"@misc{kharraz2023synchronous,\n title={Synchronous Agents, Verification, and Blame -- A Deontic View}, \n author={Karam Kharraz and Shaun Azzopardi and Gerardo Schneider and Martin Leucker},\n year={2023},\n eprint={2309.14048},\n archivePrefix={arXiv},\n booktitle={arXiv},\n primaryClass={cs.LO},\n url={https://arxiv.org/abs/2309.14048}\n}\n\n","author_short":["Kharraz, K.","Azzopardi, S.","Schneider, G.","Leucker, M."],"key":"kharraz2023synchronous","id":"kharraz2023synchronous","bibbaseid":"kharraz-azzopardi-schneider-leucker-synchronousagentsverificationandblameadeonticview-2023","role":"author","urls":{"Paper":"https://arxiv.org/abs/2309.14048"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"misc","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["synchronous","agents","verification","blame","deontic","view","kharraz","azzopardi","schneider","leucker"],"title":"Synchronous Agents, Verification, and Blame – A Deontic View","year":2023,"downloads":1}