Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems

Chen Fu, Andrea Turrini, Xiaowei Huang, Lei Song, Yuan Feng, Lijun Zhang
七月 2018
引用 DOI URL
类型
会议文章
出版物
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18
冯元
冯元
教授