Symbolic model checking for one-resource RB±ATL
Conference paper
Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. 2015. Symbolic model checking for one-resource RB±ATL. Yang, Q. and Wooldridge, M. (ed.) 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). Buenos Aires, Argentina 25 - 31 Jul 2015 Buenos Aires, Argentina AAAI Press / International Joint Conferences on Artificial Intelligence. pp. 1069-1075
Type | Conference paper |
---|---|
Title | Symbolic model checking for one-resource RB±ATL |
Authors | Alechina, N., Logan, B., Nguyen, H. and Raimondi, F. |
Abstract | RB±ATL is an extension of ATL where it is possible to model consumption and production of several resources by a set of agents. The model-checking problem for RB±ATL is known to be decidable. However the only available model-checking algorithm for RB±ATL uses a forward search of the state space, and hence does not have an efficient symbolic implementation. In this paper, we consider a fragment of RB±ATL, 1RB±ATL, that allows only one resource type. We give a symbolic model-checking algorithm for this fragment of RB±ATL, and evaluate the performance of an MCMAS-based implementation of the algorithm on an example problem that can be scaled to large state spaces. |
Conference | 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) |
Page range | 1069-1075 |
Editors | Yang, Q. and Wooldridge, M. |
ISBN | |
Hardcover | 9781577357384 |
Publisher | AAAI Press / International Joint Conferences on Artificial Intelligence |
Place of publication | Buenos Aires, Argentina |
Publication dates | |
25 Jul 2015 | |
Publication process dates | |
Deposited | 02 Mar 2016 |
Accepted | 16 Apr 2015 |
Output status | Published |
Accepted author manuscript | File Access Level Open |
Web address (URL) | http://ijcai.org/Proceedings/15/Papers/155.pdf |
Language | English |
Book title | Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) |
Permalink -
https://repository.mdx.ac.uk/item/86256
Download files
35
total views8
total downloads3
views this month0
downloads this month