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