Chen et al. "Verifying Pushdown Multi-Agent Systems Against Strategy Logics." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Chen et al. "Verifying Pushdown Multi-Agent Systems Against Strategy Logics." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/chen2016ijcai-verifying/)
BibTeX
@inproceedings{chen2016ijcai-verifying,
title = {{Verifying Pushdown Multi-Agent Systems Against Strategy Logics}},
author = {Chen, Taolue and Song, Fu and Wu, Zhilin},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {180-186},
url = {https://mlanthology.org/ijcai/2016/chen2016ijcai-verifying/}
}