ML Anthology

Symbolic Model Checking for One-Resource RB+-ATL

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Franco Raimondi
IJCAI 2015 pp. 1069-1075
/ijcai/2015/alechina2015ijcai-symbolic/
IJCAI Semantic Scholar

Cite

Text

Alechina et al. "Symbolic Model Checking for One-Resource RB+-ATL." International Joint Conference on Artificial Intelligence, 2015.

Markdown

[Alechina et al. "Symbolic Model Checking for One-Resource RB+-ATL." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/alechina2015ijcai-symbolic/)

BibTeX

@inproceedings{alechina2015ijcai-symbolic,
  title     = {{Symbolic Model Checking for One-Resource RB+-ATL}},
  author    = {Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1069-1075},
  url       = {https://mlanthology.org/ijcai/2015/alechina2015ijcai-symbolic/}
}