Mika Cohen

. Department of Computing , Imperial College London , UK

1 paper in the IJCAI proceedings

IJCAI 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic

with Mads Dam, Alessio Lomuscio, Hongyang Qu

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings