Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

Belardinelli, Francesco; Jamroga, Wojciech; Kurpiewski, Damian; Malvone, Vadim; Murano, Aniello

doi:10.24963/ijcai.2019/13

Download

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

Belardinelli, Francesco; Jamroga, Wojciech; Kurpiewski, Damian et al.

2019 • In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI

Peer reviewed

Permalink
https://hdl.handle.net/10993/41789

DOI
10.24963/ijcai.2019/13

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

slsg19ijcai.pdf

Author preprint (370.44 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Belardinelli, Francesco

Jamroga, Wojciech ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Kurpiewski, Damian

Malvone, Vadim

Murano, Aniello

External co-authors :

yes

Language :

English

Title :

Strategy Logic with Simple Goals: Tractable Reasoning about Strategies

Publication date :

2019

Event name :

Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI

Event date :

August 2019

Audience :

International

Main work title :

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence IJCAI

Pages :

88--94

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 21 January 2020

Statistics

Number of views

37 (1 by Unilu)

Number of downloads

72 (15 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

T. Ågotnes, V. Goranko, and W. Jamroga. Alternating-Time Temporal Logics with Irrevocable Strategies. In TARK'07, pages 15-24, 2007.
R. Alur and S. La Torre. Deterministic generators and games for LTL fragments. ACM Trans. Comput. Log., 5(1):1-25, 2004.
R. Alur, L. de Alfaro, R. Grosu, T. Henzinger, A. Thomas, M. Kang, C. Kirsch, R. Majumdar F. Mang, and BY. Wang. jMocha: A model checking tool that exploits design structure. In ICSE'01, pages 835-836. IEEE, 2001.
R. Alur, T. A. Henzinger, and O. Kupferman. Alternating-time temporal logic. J. ACM, 49(5):672-713, 2002.
F. Belardinelli, C. Dima, and A. Murano. Bisimulations for logics of strategies: A study in expressiveness and verification. In KR'18, pages 425-434, 2018.
P. Bouyer, P. Gardy, and N. Markey. Weighted strategy logic with boolean goals over one-counter games. In FSTTCS'15, pages 69-83, 2015.
T. Brihaye, A. Da Costa Lopes, F. Laroussinie, and N. Markey. ATL with strategy contexts and bounded memory. In LFCS'09, pages 92-106, 2009.
V. Bruyère, E. Filiot, M. Randour, and J. F. Raskin. Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. CoRR,abs/1309.5439, 2013.
N. Bulling and W. Jamroga. Verifying agents with memory is harder than it seemed. AI Communications, 23:380-403, 2010.
P. Cermák, A. Lomuscio, F. Mogavero, and A. Murano. MCMAS-SLK: A model checker for the verification of strategy logic specifications. In CAV'14, pages 525-532, 2014.
P. Cermák, A. Lomuscio, and A. Murano. Verifying and synthesising multi-agent systems against one-goal strategy logic specifications. In AAAI'15, pages 2038-2044, 2015.
P. Cermák, A. Lomuscio, F. Mogavero, and A. Murano. Practical verification of multi-agent systems against SLK specifications. I&C, 261(Part 3):588-614, 2018.
K. Chatterjee, T.A. Henzinger, and N. Piterman. Strategy Logic. I&C, 208(6):677-693, 2010.
K. Chatterjee, L. Doyen, S. Nain, and M. Y. Vardi. The complexity of partial-observation stochastic parity games with finite-memory strategies. In ICFSSCS'14, pages 242-257, 2014.
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NUSMV2: An open-source tool for symbolic model checking. In CAV'02, pages 359-364, 2002.
P. Gammie and R. van der Meyden. MCK: Model checking the logic of knowledge. In CAV'04, pages 479-483, 2004.
P. Gardy, P. Bouyer, and N. Markey. Dependences in strategy logic. In STACS'18, pages 34:1-34:15, 2018.
W. van der Hoek and M. Wooldridge. Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica, 75(1):125-157, 2003.
X. Huang and R. van der Meyden. Symbolic model checking epistemic strategy logic. In AAAI'14, pages 1426-1432, 2014.
W. Jamroga and N. Bulling. Comparing variants of strategic ability. In IJCAI'11, pages 252-257, 2011.
W. Jamroga and A. Murano. On module checking and strategies. In AAMAS'14, pages 701-708, 2014.
W. Jamroga and W. van der Hoek. Agents that know how to play. Fundamenta Informaticae, 62:1-35, 2004.
W. Jamroga, M. Knapik, and D. Kurpiewski. Fixpoint approximation of strategic abilities under imperfect information. In AAMAS'17, pages 1241-1249, 2017.
W. Jamroga, V. Malvone, and A. Murano. Reasoning about natural strategic ability. In AAMAS'17, pages 714-722, 2017.
M. Kacprzak, W. Nabialek, A. Niewiadomski, W. Penczek, A. Pólrola, M. Szreter, B. Wozna, ´ and A. Zbrzezny. Verics 2007 - a model checker for knowledge and real-time. Fundamenta Informaticae, 85(1):313-328, 2008.
C. Baier J. P. Katoen. Principles of Model Checking (Representation and Mind Series). The MIT Press, 2008.
F. Laroussinie and N. Markey. Augmenting atl with strategy contexts. I&C, (245):98-123, 2015.
A. Lomuscio, H. Qu, and F. Raimondi. MCMAS: A model checker for the verification of multi-agent systems. Software Tools for Technology Transfer, 2015.
V. Malvone, F. Mogavero, A. Murano, and L. Sorrentino. Reasoning about graded strategy quantifiers. I&C, 259:390 - 411, 2018.
F. Mogavero, A. Murano, G. Perelli, and M. Vardi. What makes ATL* decidable? a decidable fragment of strategy logic. In CONCUR'12, pages 193-208, 2012.
F. Mogavero, A. Murano, G. Perelli, and M. Y. Vardi. Reasoning about strategies: On the model-checking problem. ACM Trans. Comput. Log., 15(4):34:1-34:47, 2014.
F. Mogavero, A. Murano, G. Perelli, and M. Y. Vardi. Reasoning about strategies: on the satisfiability problem. Logical Methods in Computer Science, 13(1), 2017.
M. Pauly. A modal logic for coalitional power in games. J. Log. Comput., 12(1):149-166, 2002.
M. Tabatabaei, W. Jamroga, and Peter Y. A. Ryan. Expressing receipt-freeness and coercion-resistance in logics of strategic ability: Preliminary attempt. In PrAISe@ECAI 2016, pages 1:1-1:8, 2016.
S. Vester. Alternating-time temporal logic with finite-memory strategies. In GandALF'13, pages 194-207, 2013.