The Complexity of Model Checking Succinct Multiagent Systems

Huang et al. "The Complexity of Model Checking Succinct Multiagent Systems." International Joint Conference on Artificial Intelligence, 2015.

[Huang et al. "The Complexity of Model Checking Succinct Multiagent Systems." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/huang2015ijcai-complexity/)

@inproceedings{huang2015ijcai-complexity,
  title     = {{The Complexity of Model Checking Succinct Multiagent Systems}},
  author    = {Huang, Xiaowei and Chen, Qingliang and Su, Kaile},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {1076-1082},
  url       = {https://mlanthology.org/ijcai/2015/huang2015ijcai-complexity/}
}