Decidability results for ATL* with imperfect information and perfect recall

05/31/2018
by   Raphaël Berthon, et al.
0

Alternating-time Temporal Logic (ATL*) is a central logic for multiagent systems. Its extension to the imperfect information setting (ATL*i ) is well known to have an undecidable model-checking problem when agents have perfect recall. Studies have thus mostly focused either on agents without memory, or on alternative semantics to retrieve decidability. In this work we establish new decidability results for agents with perfect recall: We first prove a meta-theorem that allows the transfer of decidability results for classes of multiplayer games with imperfect information, such as games with hierarchical observation, to the model-checking problem for ATL*i . We then establish that model checking ATL* with strategy context and imperfect information is decidable when restricted to hierarchical instances.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/27/2021

Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

In logics for the strategic reasoning the main challenge is represented ...
research
05/31/2018

Strategy Logic with Imperfect Information

We introduce an extension of Strategy Logic for the imperfect-informatio...
research
06/24/2018

Resource Logics with a Diminishing Resource

Model-checking resource logics with production and consumption of resour...
research
11/27/2018

Making Agents' Abilities Explicit

Alternating-time temporal logics (ATL/ATL*) represent a family of modal ...
research
04/19/2022

Model Checking Strategic Abilities in Information-sharing Systems

We introduce a subclass of concurrent game structures (CGS) with imperfe...
research
05/04/2023

Contextual Equivalence for Alternation and Urgency

We propose a new programming model with support for alternation, imperfe...
research
02/26/2023

Strategic (Timed) Computation Tree Logic

We define extensions of CTL and TCTL with strategic operators, called St...

Please sign up or login with your details

Forgot password? Click here to reset