Pushdown Multi-Agent System Verification.

Aniello Murano, Giuseppe Perelli

Browse the full IJCAI paper archive.