EPMC Gets Knowledge in Multi-Agent Systems



Fu, Chen, Hahn, Ernst-Moritz, Li, Yong, 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.

[img] Text
paper_30.pdf - Accepted Version
Access to this file is embargoed until 14 January 2023.

Download (841kB)
Item Type: Conference or Workshop Item (Unspecified)
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 18 Nov 2021 08:47
Last Modified: 04 Sep 2022 04:10
URI: https://livrepository.liverpool.ac.uk/id/eprint/3143384