Module checking of pushdown multi-agent systems

Laura Bozzelli, Aniello Murano, Adriano Peron

In this paper, we investigate the module-checking problem of pushdown multi-agent systems (PMS) against ATL and ATL* specifications. We establish that for ATL, module checking of P…