Verifying systems of resource-bounded agents

Tools

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

Full text not available from this repository.

Official URL: http://link.springer.com/chapter/10.1007/978-3-319-40189-8_1

Abstract

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
RIS ID:	https://nottingham-repository.worktribe.com/output/795188
Additional Information:	The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-40189-8_1. Part of: 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, proceedings.
Schools/Departments:	University of Nottingham, UK > Faculty of Science > School of Computer Science
Identification Number:	https://doi.org/10.1007/978-3-319-40189-8_1
Depositing User:	Eprints, Support
Date Deposited:	28 Jun 2016 10:19
Last Modified:	04 May 2020 17:56
URI:	https://eprints.nottingham.ac.uk/id/eprint/34430

Actions (Archive Staff Only)

Edit View

LoginAdmin