Pushdown Multi-Agent System Verification
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Main Track. 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.
Aniello Murano, and Giuseppe Perelli. 2015. Pushdown Multi-Agent System Verification. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15. IJCAI, 1090–1096. https://ijcai.org/proceedings/2015/158
Murano, A., & Perelli, G. (2015). Pushdown Multi-Agent System Verification. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 (pp. 1090–1096). IJCAI. https://ijcai.org/proceedings/2015/158
@inproceedings{ijcai2015p158,
title = {Pushdown Multi-Agent System Verification},
author = {Murano, Aniello and Perelli, Giuseppe},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI-15}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Qiang Yang and Michael Wooldridge},
pages = {1090--1096},
year = {2015},
month = {7},
note = {Main Track},
url = {https://ijcai.org/proceedings/2015/158},
}
TY - CPAPER TI - Pushdown Multi-Agent System Verification AU - Murano, Aniello AU - Perelli, Giuseppe T2 - Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-15 PB - International Joint Conferences on Artificial Intelligence PY - 2015 SP - 1090 EP - 1096 UR - https://ijcai.org/proceedings/2015/158 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
