@inproceedings{DBLP:conf/atal/BerthonMM17,
  author       = {Rapha{\"{e}}l Berthon and
                  Bastien Maubert and
                  Aniello Murano},
  editor       = {Kate Larson and
                  Michael Winikoff and
                  Sanmay Das and
                  Edmund H. Durfee},
  title        = {Decidability Results for ATL* with Imperfect Information and Perfect
                  Recall},
  booktitle    = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
                  Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages        = {1250--1258},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {http://dl.acm.org/citation.cfm?id=3091299},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/BerthonMM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"BYEpKd9P6qsCEB3g2","bibbaseid":"berthon-maubert-murano-decidabilityresultsforatlwithimperfectinformationandperfectrecall-2017","author_short":["Berthon, R.","Maubert, B.","Murano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Raphaël"],"propositions":[],"lastnames":["Berthon"],"suffixes":[]},{"firstnames":["Bastien"],"propositions":[],"lastnames":["Maubert"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"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":"Decidability Results for ATL* with Imperfect Information and Perfect Recall","booktitle":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017","pages":"1250–1258","publisher":"ACM","year":"2017","url":"http://dl.acm.org/citation.cfm?id=3091299","timestamp":"Mon, 26 Jun 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/atal/BerthonMM17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/atal/BerthonMM17,\n author = {Rapha{\\\"{e}}l Berthon and\n Bastien Maubert and\n Aniello Murano},\n editor = {Kate Larson and\n Michael Winikoff and\n Sanmay Das and\n Edmund H. Durfee},\n title = {Decidability Results for ATL* with Imperfect Information and Perfect\n Recall},\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 = {1250--1258},\n publisher = {{ACM}},\n year = {2017},\n url = {http://dl.acm.org/citation.cfm?id=3091299},\n timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/atal/BerthonMM17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Berthon, R.","Maubert, B.","Murano, A."],"editor_short":["Larson, K.","Winikoff, M.","Das, S.","Durfee, E. H."],"key":"DBLP:conf/atal/BerthonMM17","id":"DBLP:conf/atal/BerthonMM17","bibbaseid":"berthon-maubert-murano-decidabilityresultsforatlwithimperfectinformationandperfectrecall-2017","role":"author","urls":{"Paper":"http://dl.acm.org/citation.cfm?id=3091299"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["decidability","results","atl","imperfect","information","perfect","recall","berthon","maubert","murano"],"title":"Decidability Results for ATL* with Imperfect Information and Perfect Recall","year":2017}