@inproceedings{DBLP:conf/ijcai/BelardinelliLMR17,
  author       = {Francesco Belardinelli and
                  Alessio Lomuscio and
                  Aniello Murano and
                  Sasha Rubin},
  editor       = {Carles Sierra},
  title        = {Verification of Broadcasting Multi-Agent Systems against an Epistemic
                  Strategy Logic},
  booktitle    = {Proceedings of the Twenty-Sixth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
                  19-25, 2017},
  pages        = {91--97},
  publisher    = {ijcai.org},
  year         = {2017},
  url          = {https://doi.org/10.24963/ijcai.2017/14},
  doi          = {10.24963/IJCAI.2017/14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"oLhmiCoPhEy4T8Ru5","bibbaseid":"belardinelli-lomuscio-murano-rubin-verificationofbroadcastingmultiagentsystemsagainstanepistemicstrategylogic-2017","downloads":0,"creationDate":"2017-07-25T20:26:33.795Z","title":"Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic","author_short":["Belardinelli, F.","Lomuscio, A.","Murano, A.","Rubin, S."],"year":2017,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Francesco"],"propositions":[],"lastnames":["Belardinelli"],"suffixes":[]},{"firstnames":["Alessio"],"propositions":[],"lastnames":["Lomuscio"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]}],"editor":[{"firstnames":["Carles"],"propositions":[],"lastnames":["Sierra"],"suffixes":[]}],"title":"Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic","booktitle":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017","pages":"91–97","publisher":"ijcai.org","year":"2017","url":"https://doi.org/10.24963/ijcai.2017/14","doi":"10.24963/IJCAI.2017/14","timestamp":"Tue, 21 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/ijcai/BelardinelliLMR17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/BelardinelliLMR17,\n author = {Francesco Belardinelli and\n Alessio Lomuscio and\n Aniello Murano and\n Sasha Rubin},\n editor = {Carles Sierra},\n title = {Verification of Broadcasting Multi-Agent Systems against an Epistemic\n Strategy Logic},\n booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August\n 19-25, 2017},\n pages = {91--97},\n publisher = {ijcai.org},\n year = {2017},\n url = {https://doi.org/10.24963/ijcai.2017/14},\n doi = {10.24963/IJCAI.2017/14},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/ijcai/BelardinelliLMR17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Belardinelli, F.","Lomuscio, A.","Murano, A.","Rubin, S."],"editor_short":["Sierra, C."],"key":"DBLP:conf/ijcai/BelardinelliLMR17","id":"DBLP:conf/ijcai/BelardinelliLMR17","bibbaseid":"belardinelli-lomuscio-murano-rubin-verificationofbroadcastingmultiagentsystemsagainstanepistemicstrategylogic-2017","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2017/14"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["verification","broadcasting","multi","agent","systems","against","epistemic","strategy","logic","belardinelli","lomuscio","murano","rubin"],"keywords":[],"authorIDs":["5977a979f9f6dc600400002b"],"dataSources":["iYnHSPRrFF76W8ptK","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF","74JLffDBQLjrojguT"]}