Verifying systems of resource-bounded agents

Alechina, Natasha and Logan, Brian (2016) Verifying systems of resource-bounded agents. Lecture Notes in Computer Science, 9709 . pp. 3-12. ISSN 0302-9743

[img] PDF - Repository staff only until 14 June 2017. - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (215kB)


Approaches to the verification of multi-agent systems are typically based on games or transition systems defined in terms of states and actions. However such approaches often ignore a key aspect of multi-agent systems, namely that the agents’ actions require (and sometimes produce) resources. We briefly survey previous work on the verification of multi-agent systems that takes resources into account, and outline some key challenges for future work.

Item Type: Article
Additional Information: The final publication is available at Springer via Part of: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, proceedings.
Schools/Departments: University of Nottingham UK Campus > Faculty of Science > School of Computer Science
Identification Number:
Depositing User: Eprints, Support
Date Deposited: 28 Jun 2016 10:19
Last Modified: 16 Sep 2016 20:31

Actions (Archive Staff Only)

Edit View Edit View