A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic

Cohen et al. "A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic." International Joint Conference on Artificial Intelligence, 2009.

[Cohen et al. "A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/cohen2009ijcai-symmetry/)

@inproceedings{cohen2009ijcai-symmetry,
  title     = {{A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic}},
  author    = {Cohen, Mika and Dam, Mads and Lomuscio, Alessio and Qu, Hongyang},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {721-726},
  url       = {https://mlanthology.org/ijcai/2009/cohen2009ijcai-symmetry/}
}