Up a level |
Fu, Chen, Hahn, Ernst-Moritz, Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518, Sun, Meng, Turrini, Andreas and Zhang, Lijun
(2022)
EPMC Gets Knowledge in Multi-Agent Systems.
In: International Conference on Verification, Model Checking, and Abstract Interpretation.
Fu, Chen, Turrini, Andrea, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Song, Lei, Feng, Yuan and Zhang, Lijun
(2018)
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19, Stockholm, Sweden.