Mads Dam

. Access Linnaeus Center , Royal Institute of Technology , Sweden

1 paper in the IJCAI proceedings

IJCAI 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic

with Mika Cohen, Alessio Lomuscio, Hongyang Qu

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings