An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

[1]  Vadim Malvone,et al.  Towards the Combination of Model Checking and Runtime Verification on Multi-Agent Systems , 2022, PAAMS.

[2]  Sasha Rubin,et al.  Verification of multi-agent systems with public actions against strategy logic , 2020, Artif. Intell..

[3]  Francesco Belardinelli,et al.  A Three-valued Approach to Strategic Abilities under Imperfect Information , 2020, KR.

[4]  Damian Kurpiewski,et al.  Approximate verification of strategic abilities under imperfect information , 2019, Artif. Intell..

[5]  Damian Kurpiewski,et al.  Strategy Logic with Simple Goals: Tractable Reasoning about Strategies , 2019, IJCAI.

[6]  Alessio Lomuscio,et al.  An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information , 2019, AAAI.

[7]  Damian Kurpiewski,et al.  STV: Model Checking for Strategies under Imperfect Information , 2019, AAMAS.

[8]  W. Jamroga,et al.  Towards Partial Order Reductions for Strategic Ability , 2018, AAMAS.

[9]  Alessio Lomuscio,et al.  Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic , 2017, IJCAI.

[10]  Orna Kupferman,et al.  An Abstraction-Refinement Methodology for Reasoning about Network Games , 2017, IJCAI.

[11]  Aniello Murano,et al.  Strategy logic with imperfect information , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

[12]  Aniello Murano,et al.  Decidability Results for ATL* with Imperfect Information and Perfect Recall , 2017, AAMAS.

[13]  Alessio Lomuscio,et al.  Verification of Multi-agent Systems with Imperfect Information and Public Actions , 2017, AAMAS.

[14]  Alessio Lomuscio,et al.  MCMAS: an open-source model checker for the verification of multi-agent systems , 2017, International Journal on Software Tools for Technology Transfer.

[15]  Alessio Lomuscio,et al.  A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems , 2016, JELIA.

[16]  Wojciech Penczek,et al.  Multi-Valued Verification of Strategic Ability , 2016, AAMAS.

[17]  Alessio Lomuscio,et al.  Verification of Multi-Agent Systems via Predicate Abstraction against ATLK Specifications , 2016, AAMAS.

[18]  Alessio Lomuscio,et al.  Verifying Multi-Agent Systems by Model Checking Three-valued Abstractions , 2015, AAMAS.

[19]  Alessio Lomuscio,et al.  An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications , 2014, KR.

[20]  Aniello Murano,et al.  Reasoning About Strategies: On the Model-Checking Problem , 2011, ArXiv.

[21]  Wojciech Jamroga,et al.  Alternating Epistemic Mu-Calculus , 2011, IJCAI.

[22]  Zhifeng Liu,et al.  Abstraction for model checking multi-agent systems , 2011, Frontiers of Computer Science in China.

[23]  Ferucio Laurentiu Tiplea,et al.  Model-checking ATL under Imperfect Information and Perfect Recall Semantics is Undecidable , 2011, ArXiv.

[24]  Wojciech Penczek,et al.  Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems , 2010, Fundam. Informaticae.

[25]  Aniello Murano,et al.  Improved model checking of hierarchical systems , 2010, Inf. Comput..

[26]  Bernd Finkbeiner,et al.  Abstraction Refinement for Games with Incomplete Information , 2008, FSTTCS.

[27]  C. Baier,et al.  Principles of model checking , 2008 .

[28]  Krishnendu Chatterjee,et al.  Strategy logic , 2007, Inf. Comput..

[29]  Orna Grumberg,et al.  When not losing is better than winning: Abstraction and refinement for the full mu-calculus , 2007, Inf. Comput..

[30]  Orna Kupferman,et al.  Lattice Automata , 2007, VMCAI.

[31]  T. Ball,et al.  An Abstraction-Refinement Framework for Multi-Agent Systems , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).

[32]  Patrice Godefroid,et al.  Model Checking with Multi-valued Logics , 2004, ICALP.

[33]  Wojciech Jamroga,et al.  Agents that Know How to Play , 2004, Fundam. Informaticae.

[34]  Orna Grumberg,et al.  Monotonic Abstraction-Refinement for CTL , 2004, TACAS.

[35]  Wojciech Jamroga,et al.  Comparing Semantics of Logics for Multi-Agent Systems , 2004, Synthese.

[36]  Orna Grumberg,et al.  A game-based framework for CTL counterexamples and 3-valued abstraction-refinement , 2003, TOCL.

[37]  Marc Pauly,et al.  A Modal Logic for Coalitional Power in Games , 2002, J. Log. Comput..

[38]  Marsha Chechik,et al.  Model-checking infinite state-space systems with fine-grained abstractions using SPIN , 2001, SPIN '01.

[39]  Thomas A. Henzinger,et al.  MOCHA: Modularity in Model Checking , 1998, CAV.

[40]  Thomas A. Henzinger,et al.  Alternating-time temporal logic , 1997, Proceedings 38th Annual Symposium on Foundations of Computer Science.

[41]  Ronald Fagin.  Reasoning about knowledge , 1995 .

[42]  Pierre Wolper,et al.  Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.

[43]  Angelo Ferrando,et al.  Strategy RV: A Tool to Approximate ATL Model Checking under Imperfect Information and Perfect Recall , 2021, AAMAS.

[44]  Alessio Lomuscio,et al.  Approximating Perfect Recall When Model Checking Strategic Abilities , 2018, KR.

[45]  Wojciech Jamroga,et al.  Knowledge and Ability , 2015 .

[46]  Johan van Benthem,et al.  Reasoning about Strategies , 2013, Computation, Logic, Games, and Quantum Foundations.

[47]  Wojciech Penczek,et al.  Partial order reductions for model checking temporal epistemic logics over interleaved multi-agent systems , 2010, AAMAS.

[48]  Rayna Dimitrova,et al.  Solving Games Via Three-Valued Abstraction Refinement , 2008 .

[49]  Alessio Lomuscio,et al.  The complexity of symbolic model checking temporal-epistemic logics , 2005 .

[50]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[51]  Pritam Roy,et al.  Author's Personal Copy Information and Computation Solving Games via Three-valued Abstraction Refinement < , 2022 .