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