@inproceedings{DBLP:conf/prima/BelardinelliLMR19,
  author       = {Francesco Belardinelli and
                  Alessio Lomuscio and
                  Aniello Murano and
                  Sasha Rubin},
  editor       = {Matteo Baldoni and
                  Mehdi Dastani and
                  Beishui Liao and
                  Yuko Sakurai and
                  Rym Zalila{-}Wenkstern},
  title        = {Imperfect Information in Alternating-Time Temporal Logic on Finite
                  Traces},
  booktitle    = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
                  International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11873},
  pages        = {469--477},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33792-6\_31},
  doi          = {10.1007/978-3-030-33792-6\_31},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/prima/BelardinelliLMR19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"MXrWZ4YZPDpj4BKZX","bibbaseid":"belardinelli-lomuscio-murano-rubin-imperfectinformationinalternatingtimetemporallogiconfinitetraces-2019","author_short":["Belardinelli, F.","Lomuscio, A.","Murano, A.","Rubin, S."],"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":["Matteo"],"propositions":[],"lastnames":["Baldoni"],"suffixes":[]},{"firstnames":["Mehdi"],"propositions":[],"lastnames":["Dastani"],"suffixes":[]},{"firstnames":["Beishui"],"propositions":[],"lastnames":["Liao"],"suffixes":[]},{"firstnames":["Yuko"],"propositions":[],"lastnames":["Sakurai"],"suffixes":[]},{"firstnames":["Rym"],"propositions":[],"lastnames":["Zalila-Wenkstern"],"suffixes":[]}],"title":"Imperfect Information in Alternating-Time Temporal Logic on Finite Traces","booktitle":"PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings","series":"Lecture Notes in Computer Science","volume":"11873","pages":"469–477","publisher":"Springer","year":"2019","url":"https://doi.org/10.1007/978-3-030-33792-6\\_31","doi":"10.1007/978-3-030-33792-6_31","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/prima/BelardinelliLMR19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/prima/BelardinelliLMR19,\n author = {Francesco Belardinelli and\n Alessio Lomuscio and\n Aniello Murano and\n Sasha Rubin},\n editor = {Matteo Baldoni and\n Mehdi Dastani and\n Beishui Liao and\n Yuko Sakurai and\n Rym Zalila{-}Wenkstern},\n title = {Imperfect Information in Alternating-Time Temporal Logic on Finite\n Traces},\n booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd\n International Conference, Turin, Italy, October 28-31, 2019, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11873},\n pages = {469--477},\n publisher = {Springer},\n year = {2019},\n url = {https://doi.org/10.1007/978-3-030-33792-6\\_31},\n doi = {10.1007/978-3-030-33792-6\\_31},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/prima/BelardinelliLMR19.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":["Baldoni, M.","Dastani, M.","Liao, B.","Sakurai, Y.","Zalila-Wenkstern, R."],"key":"DBLP:conf/prima/BelardinelliLMR19","id":"DBLP:conf/prima/BelardinelliLMR19","bibbaseid":"belardinelli-lomuscio-murano-rubin-imperfectinformationinalternatingtimetemporallogiconfinitetraces-2019","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-33792-6\\_31"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF","74JLffDBQLjrojguT"],"keywords":[],"search_terms":["imperfect","information","alternating","time","temporal","logic","finite","traces","belardinelli","lomuscio","murano","rubin"],"title":"Imperfect Information in Alternating-Time Temporal Logic on Finite Traces","year":2019}