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]

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.

Actions (login required)

View Item

Statistics

DownloadsShow export options

Export as CSVXMLJSON

Activity Overview

6 month trend

73Downloads

6 month trend

407Hits

Additional statistics are available via IRStats2.