@inproceedings{a764ebb47a414bc68c2bf63b4b70282d,
title = "Symbolic model-checking for resource-bounded ATL",
abstract = "In this paper we present a symbolic implementation of a model checking algorithm for the verification of properties expressed in Resource-Bounded Alternating Time Temporal Logic (RB-ATL). The implementation is based on the model checker MCMAS. We evaluate the performance of our implementation using simple multi- agent model checking problems of increasing complexity.",
keywords = "Model-checking, Resources",
author = "Natasha Alechina and Brian Logan and Nguyen, {Hoang Nga} and Franco Raimondi and Leonardo Mostarda",
note = "Publisher Copyright: Copyright {\textcopyright} 2015, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.; 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, AAMAS 2015 ; Conference date: 04-05-2015 Through 08-05-2015",
year = "2015",
language = "English",
series = "Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS",
publisher = "International Foundation for Autonomous Agents and Multiagent Systems ",
pages = "1809--1810",
editor = "Bordini, {Rafael H.} and Pinar Yolum and Edith Elkind and Gerhard Weiss",
booktitle = "AAMAS 2015 - Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems",
address = "United Kingdom",
}