@misc{indiciae62c932748c0f,
  title = {Reachability Games in Dynamic Epistemic Logic},
  author = {Bastien Maubert and Sophie Pinchinat and François Schwarzentruber},
  year = {2019},
  url = {https://arxiv.org/abs/1905.12422},
  note = {Source identifier: 1905.12422}
}