Verifying pushdown multi-agent systems against strategy logics

Chen, Taolue, Song, Fu and Wu, Zhilin (2016) Verifying pushdown multi-agent systems against strategy logics. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). In: IJCAI 2016: 25th International Joint Conferences on Artificial Intelligence (IJCAI), 09-15 Jul 2016, New York, New York, USA. ISBN 9781577357704 (volumes 1-3), 9781577357711 (volumes 4-6). [Conference or Workshop Item]

[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: 12 Jun 2021 13:39
URI: https://eprints.mdx.ac.uk/id/eprint/19188

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
52Downloads
371Hits

Additional statistics are available via IRStats2.