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

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

Browse the full IJCAI paper archive.