![]() | Up a level |
Number of items: 1.
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.