Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang

Browse the full IJCAI paper archive.