Wu, Zhilin

2 publications

AAAI 2016 Global Model Checking on Pushdown Multi-Agent Systems Taolue Chen, Fu Song, Zhilin Wu

IJCAI 2016 Verifying Pushdown Multi-Agent Systems Against Strategy Logics Taolue Chen, Fu Song, Zhilin Wu