English

Towards Assume-Guarantee Verification of Strategic Ability

Logic in Computer Science 2023-10-25 v1 Multiagent Systems
Authors: Łukasz Mikulski , Wojciech Jamroga , Damian Kurpiewski
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

Formal verification of strategic abilities is a hard problem. We propose to use the methodology of assume-guarantee reasoning in order to facilitate model checking of alternating-time temporal logic with imperfect information and imperfect recall.

Keywords

assume-guarantee reasoning strategic ability model checking alternating-time temporal logic imperfect information

Cite

@article{arxiv.2310.15727,
  title  = {Towards Assume-Guarantee Verification of Strategic Ability},
  author = {Łukasz Mikulski and Wojciech Jamroga and Damian Kurpiewski},
  journal= {arXiv preprint arXiv:2310.15727},
  year   = {2023}
}

Related papers

View all related →
Multiagent Systems · Computer Science
Assume-Guarantee Verification of Strategic Ability
Łukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023-10-25
Multiagent Systems · Computer Science
Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
Wojciech Jamroga, Damian Kurpiewski, Łukasz Mikulski
2025-11-17
Multiagent Systems · Computer Science
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning
Damian Kurpiewski, Łukasz Mikulski, Wojciech Jamroga
2023-10-31
Multiagent Systems · Computer Science
Approximating Strategic Abilities under Imperfect Information: a Naive Approach
Wojciech Jamroga, Michał Knapik, Damian Kurpiewski
2016-08-31
Multiagent Systems · Computer Science
Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information
Angelo Ferrando, Vadim Malvone
2023-06-19
Logic in Computer Science · Computer Science
Verification of Robust Multi-Agent Systems
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2026-02-17
Artificial Intelligence · Computer Science
Making Agents' Abilities Explicit
Yedi Zhang, Fu Song, Taolue Chen
2018-11-28
Logic in Computer Science · Computer Science
Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions
Cătălin Dima, Constantin Enea, Dimitar Guelev
2010-08-11
Performance · Computer Science
A Model for Probabilistic Reasoning on Assume/Guarantee Contracts
Benoît Delahaye, Benoît Caillaud
2009-04-20
Logic in Computer Science · Computer Science
Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
Rafael Dewes, Rayna Dimitrova
2024-12-18
Logic in Computer Science · Computer Science
A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability
Simon Busard, Charles Pecheur
2017-09-08
Multiagent Systems · Computer Science
Capacity ATL
Gabriel Ballot, Vadim Malvone, Jean Leneutre, Youssef Laarouchi
2023-08-23
Formal Languages and Automata Theory · Computer Science
Assume, Guarantee or Repair -- A Regular Framework for Non Regular Properties (full version)
Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2022-07-22
Logic in Computer Science · Computer Science
Reasoning about Cognitive Trust in Stochastic Multiagent Systems
Xiaowei Huang, Marta Kwiatkowska, Maciej Olejnik
2019-05-17
Multiagent Systems · Computer Science
Multi-Valued Verification of Strategic Ability
Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
2023-11-01
Systems and Control · Computer Science
Compositional Set Invariance in Network Systems with Assume-Guarantee Contracts
Yuxiao Chen, James Anderson, Karan Kalsi, Steven H. Low +1
2018-10-26
Logic in Computer Science · Computer Science
Compositional Verification in Rewriting Logic
Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet
2023-08-01
Information Retrieval · Computer Science
Evidence-Based Temporal Fact Verification
Anab Maulana Barik, Wynne Hsu, Mong Li Lee
2024-08-20
Logic in Computer Science · Computer Science
Reasoning about Strategic Abilities in Stochastic Multi-agent Systems
Yedi Zhang, Fu Song, Taolue Chen, Xuzhi Wu
2024-12-13
Artificial Intelligence · Computer Science
Knowledge Sharing in Coalitions
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
2016-11-28
Multiagent Systems · Computer Science
Tracking and managing deemed abilities
Nicolas Troquard
2024-11-19
Logic in Computer Science · Computer Science
On the Complexity of Rational Verification
Julian Gutierrez, Muhammad Najib, Giuseppe Perelli, Michael Wooldridge
2022-07-19
Systems and Control · Computer Science
Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements
Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yugeng Xi +1
2017-07-03
Multiagent Systems · Computer Science
Asynchronous Agents with Perfect Recall: Model Reductions, Knowledge-Based Construction, and Model Checking for Coalitional Strategies
Dilian Gurov, Filip Jamroga, Wojciech Jamroga, Mateusz Kamiński +3
2025-10-21
Systems and Control · Electrical Eng. & Systems
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao +1
2021-04-21