@inproceedings{DBLP:conf/ijcai/BozzelliMM19,
  author       = {Laura Bozzelli and
                  Bastien Maubert and
                  Aniello Murano},
  editor       = {Sarit Kraus},
  title        = {The Complexity of Model Checking Knowledge and Time},
  booktitle    = {Proceedings of the Twenty-Eighth International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                  2019},
  pages        = {1595--1601},
  publisher    = {ijcai.org},
  year         = {2019},
  url          = {https://doi.org/10.24963/ijcai.2019/221},
  doi          = {10.24963/IJCAI.2019/221},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Z9nDTGtXBTEcrbFoz","bibbaseid":"bozzelli-maubert-murano-thecomplexityofmodelcheckingknowledgeandtime-2019","author_short":["Bozzelli, L.","Maubert, B.","Murano, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Laura"],"propositions":[],"lastnames":["Bozzelli"],"suffixes":[]},{"firstnames":["Bastien"],"propositions":[],"lastnames":["Maubert"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"editor":[{"firstnames":["Sarit"],"propositions":[],"lastnames":["Kraus"],"suffixes":[]}],"title":"The Complexity of Model Checking Knowledge and Time","booktitle":"Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019","pages":"1595–1601","publisher":"ijcai.org","year":"2019","url":"https://doi.org/10.24963/ijcai.2019/221","doi":"10.24963/IJCAI.2019/221","timestamp":"Thu, 23 Jun 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/BozzelliMM19,\n author = {Laura Bozzelli and\n Bastien Maubert and\n Aniello Murano},\n editor = {Sarit Kraus},\n title = {The Complexity of Model Checking Knowledge and Time},\n booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,\n 2019},\n pages = {1595--1601},\n publisher = {ijcai.org},\n year = {2019},\n url = {https://doi.org/10.24963/ijcai.2019/221},\n doi = {10.24963/IJCAI.2019/221},\n timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/BozzelliMM19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bozzelli, L.","Maubert, B.","Murano, A."],"editor_short":["Kraus, S."],"key":"DBLP:conf/ijcai/BozzelliMM19","id":"DBLP:conf/ijcai/BozzelliMM19","bibbaseid":"bozzelli-maubert-murano-thecomplexityofmodelcheckingknowledgeandtime-2019","role":"author","urls":{"Paper":"https://doi.org/10.24963/ijcai.2019/221"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["complexity","model","checking","knowledge","time","bozzelli","maubert","murano"],"title":"The Complexity of Model Checking Knowledge and Time","year":2019}