Verifying pushdown multi-agent systems against strategy logics

Chen, Taolue, Song, Fu and Wu, Zhilin (2016) Verifying pushdown multi-agent systems against strategy logics. In: IJCAI 2016: 25th International Joint Conferences on Artificial Intelligence (IJCAI), 09-15 Jul 2016, New York, New York, USA.

[img]
Preview
PDF - Published version (with publisher's formatting)
Download (701kB) | Preview

Abstract

In this paper, we investigate model checking algorithms for variants of strategy logic over pushdown multi-agent systems, modeled by pushdown game structures (PGSs). We consider various fragments of strategy logic, i.e., SL[CG], SL[DG], SL[1G] and BSIL. We show that the model checking problems on PGSs for SL[CG], SL[DG] and SL[1G] are 3EXTIME-complete, which are not harder than the problem for the subsumed logic ATL*. When BSIL is concerned, the model checking problem becomes 2EXPTIME-complete. Our algorithms are automata-theoretic and based on the saturation technique, which are amenable to implementations.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Published as: Taolue Chen, Fu Song, and Zhilin Wu. 2016. Verifying pushdown multi-agent systems against strategy logics. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI'16), Gerhard Brewka (Ed.). AAAI Press 180-186.
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 19188
Notes on copyright: Copyright © 2016 International Joint Conferences on Artificial Intelligence. All rights reserved. the published paper is reproduced in this repository (eprints.mdx.ac.uk) with permission from International Joint Conferences on Artificial Intelligence
Useful Links:
Depositing User: Taolue Chen
Date Deposited: 12 Apr 2016 09:49
Last Modified: 02 Apr 2019 16:08
URI: https://eprints.mdx.ac.uk/id/eprint/19188

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year