---
title: "Pushdown Multi-Agent System Verification"
authors:
  - "Aniello Murano"
  - "Giuseppe Perelli"
doi: ""
url: "https://ijcai.org/proceedings/2015/158"
pdf: "https://ijcai.org/proceedings/2015/0158.pdf"
venue: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence"
year: 2015
pages: "1090-1096"
track: "Main Track"
keywords:
---

# Pushdown Multi-Agent System Verification

Aniello Murano, Giuseppe Perelli

*Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence*, pages 1090-1096.

## Abstract

In this paper we investigate the model-checking problem of pushdown multi-agent systems for ATL* specifications.To this aim, we introduce pushdown game structures over which ATL* formulas are interpreted. We show an algorithm that solves the addressed model-checking problem in 3ExpTime. We also provide a 2ExpSpace lower bound by showing a reduction from the word acceptance problem for deterministic Turing machines with doubly exponential space.