Pushdown multi-agent system verification