@inproceedings{DBLP:conf/atal/BelardinelliLMR17,
  author       = {Francesco Belardinelli and
                  Alessio Lomuscio and
                  Aniello Murano and
                  Sasha Rubin},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {Verification of Multi-agent Systems with Imperfect Information and
                  Public Actions},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {1268--1276},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091301},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/BelardinelliLMR17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"wxRBuxPmRCxdBdFqm","bibbaseid":"belardinelli-lomuscio-murano-rubin-verificationofmultiagentsystemswithimperfectinformationandpublicactions-2017","downloads":0,"creationDate":"2017-07-25T20:26:33.796Z","title":"Verification of Multi-agent Systems with Imperfect Information and Public Actions","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":["Kate"],"propositions":[],"lastnames":["Larson"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Winikoff"],"suffixes":[]},{"firstnames":["Sanmay"],"propositions":[],"lastnames":["Das"],"suffixes":[]},{"firstnames":["Edmund","H."],"propositions":[],"lastnames":["Durfee"],"suffixes":[]}],"title":"Verification of Multi-agent Systems with Imperfect Information and Public Actions","booktitle":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017","pages":"1268–1276","publisher":"ACM","year":"2017","url":"http://dl.acm.org/citation.cfm?id=3091301","timestamp":"Tue, 21 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/atal/BelardinelliLMR17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atal/BelardinelliLMR17,\n author = {Francesco Belardinelli and\n Alessio Lomuscio and\n Aniello Murano and\n Sasha Rubin},\n editor = {Kate Larson and\n Michael Winikoff and\n Sanmay Das and\n Edmund H. Durfee},\n title = {Verification of Multi-agent Systems with Imperfect Information and\n Public Actions},\n booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent\n Systems, {AAMAS} 2017, S{\\~{a}}o Paulo, Brazil, May 8-12, 2017},\n pages = {1268--1276},\n publisher = {{ACM}},\n year = {2017},\n url = {http://dl.acm.org/citation.cfm?id=3091301},\n timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/atal/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":["Larson, K.","Winikoff, M.","Das, S.","Durfee, E. H."],"key":"DBLP:conf/atal/BelardinelliLMR17","id":"DBLP:conf/atal/BelardinelliLMR17","bibbaseid":"belardinelli-lomuscio-murano-rubin-verificationofmultiagentsystemswithimperfectinformationandpublicactions-2017","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=3091301"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["verification","multi","agent","systems","imperfect","information","public","actions","belardinelli","lomuscio","murano","rubin"],"keywords":[],"authorIDs":["5977a979f9f6dc600400002b"],"dataSources":["iYnHSPRrFF76W8ptK","rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"]}