Chen Fu

State Key Laboratory of Computer Science , Institute of Software , Chinese Academy of Sciences; University of Chinese Academy of Sciences

1 paper in the IJCAI proceedings

IJCAI 2018

Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems

with Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang

doi:10.24963/ijcai.2018/661

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings