ML Anthology

Dam, Mads

1 publications

IJCAI 2009 A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu