Verifying Pushdown Multi-Agent Systems against Strategy Logics.

Taolue Chen, Fu Song, Zhilin Wu

Browse the full IJCAI paper archive.