TY  - RPRT
TI  - Module checking of pushdown multi-agent systems
AU  - Laura Bozzelli
AU  - Aniello Murano
AU  - Adriano Peron
PY  - 2026
DO  - 10.46298/lmcs-22(1:13)2026
UR  - https://arxiv.org/abs/2003.04728
ID  - 2003.04728
ER  -