Natasha Alechina'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). pdf    

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",
address = "Buenos Aires, Argentina",
year = 2015,
month = "July",
organization = "IJCAI",
publisher = "{AAAI} Press",
}

full list