A Data Symmetry Reduction Technique for Temporal-epistemic Logic.

Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu

Browse the full ATVA paper archive.