Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu. A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. In Craig Boutilier, editor, IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009. pages 721-726, 2009. [doi]
Abstract is missing.