arXiv Open Access 2023

Assume-Guarantee Verification of Strategic Ability

Łukasz Mikulski Wojciech Jamroga Damian Kurpiewski

Lihat Sumber

Abstrak

Model checking of strategic abilities is a notoriously hard problem, even more so in the realistic case of agents with imperfect information. Assume-guarantee reasoning can be of great help here, providing a way to decompose the complex problem into a small set of exponentially easier subproblems. In this paper, we propose two schemes for assume-guarantee verification of alternating-time temporal logic with imperfect information. We prove the soundness of both schemes, and discuss their completeness. We illustrate the method by examples based on known benchmarks, and show experimental results that demonstrate the practical benefits of the approach.

Topik & Kata Kunci

cs.MA

Penulis (3)

Łukasz Mikulski

Wojciech Jamroga

Damian Kurpiewski

Format Sitasi

APA MLA BibTeX

Mikulski, Ł., Jamroga, W., Kurpiewski, D. (2023). Assume-Guarantee Verification of Strategic Ability. https://arxiv.org/abs/2310.15686

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓