Global Model Checking on Pushdown Multi-Agent Systems.

Taolue Chen, Fu Song, Zhilin Wu

Browse the full AAAI paper archive.