No confident code implementation found for this paper.
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.
No confident code match yet
We couldn't find an author-owned or strongly-evidenced community implementation for this paper. Any repos shown below are weak matches — verify before relying on them.
No code implementations found yet.
Know of an implementation? Let us know in the comments below!
Assume-Guarantee Verification of Strategic Ability
Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
A Model Checker for Natural Strategic Ability
Multi-Valued Verification of Strategic Ability
Hyper Strategy Logic
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
@article{mikulski2023towards,
title = {Towards Assume-Guarantee Verification of Strategic Ability},
author = {Łukasz Mikulski and Wojciech Jamroga and Damian Kurpiewski},
year = {2023},
eprint = {2310.15727},
archivePrefix = {arXiv},
url = {http://arxiv.org/abs/2310.15727v1}
}Shows whether official code is linked for this paper.
[](https://codeofpaper.com/paper/2310.15727)