Brian Logan's Publications
Symbolic Model-Checking for Resource-Bounded ATL (2015)
By: "Natasha Alechina, Brian Logan, Leonardo Mostarda, Nguyen, Hoang Nga, and Franco Raimondi",
Download Information
"Natasha Alechina, Brian Logan, Leonardo Mostarda, Nguyen, Hoang Nga, and Franco Raimondi", (2015). "Symbolic Model-Checking for Resource-Bounded ATL." Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015) (pp. 1809-1810).
|  |
Bibtex citation
@inproceedings{Alechina//:15b,
author = "Natasha Alechina and Brian Logan and Leonardo Mostarda and Nguyen, Hoang Nga and Franco Raimondi",
title = "Symbolic Model-Checking for Resource-Bounded {ATL}",
booktitle = "Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems ({AAMAS} 2015)",
editor = "Rafael Bordini and Edith Elkind and Gerhard Weiss and Pinar Yolu",
pages = "1809--1810",
address = "Istanbul, Turkey",
year = 2015,
month = "May",
organization = "IFAAMAS",
publisher = "IFAAMAS",
}
full list