Chen, T.; Song, F.; Wu, Z. Global Model Checking on Pushdown Multi-Agent Systems. AAAI 2016, 30.