@inproceedings{DBLP:conf/kr/BarriereMMR18,
  author    = {Aur{\`{e}}le Barri{\`{e}}re and
               Bastien Maubert and
               Aniello Murano and
               Sasha Rubin},
  title     = {Changing Observations in Epistemic Temporal Logic},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018.},
  pages     = {621--622},
  year      = {2018},
  url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18005},
  timestamp = {Thu, 18 Oct 2018 09:45:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/BarriereMMR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}