Brian Logan's Publications

Symbolic Model-Checking for One-Resource RB+-ATL (2015)

By: Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi

Download Information

Natasha Alechina, Brian Logan, Nguyen, Hoang Nga, and Franco Raimondi (2015). "Symbolic Model-Checking for One-Resource RB+-ATL." Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015) (pp. 1069-1075).

Bibtex citation

@inproceedings{Alechina//:15d,
author =    "Natasha Alechina and Brian Logan and Nguyen, Hoang Nga and Franco Raimondi",
title =    "Symbolic Model-Checking for One-Resource {RB+-ATL}",
booktitle =    "Proceedings of the 24th International Joint Conference on Artificial Intelligence ({IJCAI} 2015)",
editor =    "Qiang Yang",
pages =    "1069--1075",
address =    "Buenos Aires, Argentina",
year =    2015,
month =    "July",
organization = "IJCAI",
publisher =    "{AAAI} Press",
}

---

full list