@inproceedings{azzopardi2023ictac,
      title={Synchronous Agents, Verification, and Blame --- A Deontic View},
      author={Kharraz, Karam and Azzopardi, Shaun and Leucker, Martin and Schneider, Gerardo},
      year={2023},
      booktitle={ICTAC 2023}
}

{"_id":"EbeMv3F6X56Kw4RCc","bibbaseid":"kharraz-azzopardi-leucker-schneider-synchronousagentsverificationandblameadeonticview-2023","author_short":["Kharraz, K.","Azzopardi, S.","Leucker, M.","Schneider, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Synchronous Agents, Verification, and Blame — A Deontic View","author":[{"propositions":[],"lastnames":["Kharraz"],"firstnames":["Karam"],"suffixes":[]},{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Leucker"],"firstnames":["Martin"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]}],"year":"2023","booktitle":"ICTAC 2023","bibtex":"@inproceedings{azzopardi2023ictac,\n title={Synchronous Agents, Verification, and Blame --- A Deontic View},\n author={Kharraz, Karam and Azzopardi, Shaun and Leucker, Martin and Schneider, Gerardo},\n year={2023},\n booktitle={ICTAC 2023}\n}\n\n","author_short":["Kharraz, K.","Azzopardi, S.","Leucker, M.","Schneider, G."],"key":"azzopardi2023ictac","id":"azzopardi2023ictac","bibbaseid":"kharraz-azzopardi-leucker-schneider-synchronousagentsverificationandblameadeonticview-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","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","leucker","schneider"],"title":"Synchronous Agents, Verification, and Blame — A Deontic View","year":2023}