@misc{indiciae4ef31d04736d,
  title = {Optimizing Epistemic Model Checking using Conditional Independence},
  author = {Ron van der Meyden},
  year = {2016},
  url = {https://arxiv.org/abs/1610.03935},
  note = {Source identifier: 1610.03935}
}