Laura Bozzelli, Aniello Murano, Adriano Peron. Module Checking of Pushdown Multi-agent Systems. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 162-171, 2020. [doi]
Abstract is missing.