CAP Project

[FuTHSFZ18] Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems Fu, C.; Turrini, A.; Huang, X.; Song, L.; Feng, Y. and Zhang, L. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden, pages 4757-4763, ijcai.org, 2018.
Downloads: bibURL: https://doi.org/10.24963/ijcai.2018/661