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, pages 4757-4763, 2018.Downloads: bibURL: https://doi.org/10.24963/ijcai.2018/661