Publication

[FuTHSFZ18] Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems Fu, C.; Turrini, A.; Huang, X.; Song, L.; Feng, Y. and Zhang, L. In IJCAI, 2018.Downloads: bib