Hongyang Qu

1 paper in the IJCAI proceedings

IJCAI 2009

A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic

with Mika Cohen, Mads Dam, Alessio Lomuscio

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings