A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic.

Mika Cohen Mads Dam Alessio Lomuscio Hongyang Qu A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. 721-726 2009 IJCAI http://ijcai.org/papers09/Papers/IJCAI09-125.pdf conf/ijcai/2009 db/conf/ijcai/ijcai2009.html#CohenDLQ09