@inproceedings{4b536662e05541cf889026fe5735b12e,
title = "Verifying systems of resource-bounded agents",
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 multiagent systems, namely that the agents{\textquoteright} 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.",
author = "Natasha Alechina and Brian Logan",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 12th Conference on Computability in Europe, CiE 2016, CiE 2016 ; Conference date: 27-06-2016 Through 01-07-2016",
year = "2016",
doi = "10.1007/978-3-319-40189-8_1",
language = "English",
isbn = "9783319401881",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "3--12",
editor = "Nata{\v s}a Jonoska and Laurent Bienvenu and Arnold Beckmann",
booktitle = "Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Proceedings",
address = "Germany",
}