# A Hennessy-Milner Theorem for ATL with Imperfect Information

arXiv: https://arxiv.org/abs/2006.15000 · HTML: https://mlsanity.com/paper/2006.15000/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 26 Jun 2020.

## Built on by (most cited first, 1 of 1)

- [Model Checking Strategic Abilities in Information-sharing Systems](https://mlsanity.com/paper/2204.08896/) (2022)

## Abstract (arXiv)

We show that a history-based variant of alternating bisimulation with imperfect information allows it to be related to a variant of Alternating-time Temporal Logic (ATL) with imperfect information by a full Hennessy-Milner theorem. The variant of ATL we consider has a common knowledge semantics, which requires that the uniform strategy available for a coalition to accomplish some goal must be common knowledge inside the coalition, while other semantic variants of ATL with imperfect information do not accommodate a Hennessy-Milner theorem. We also show that the existence of a history-based alternating bisimulation between two finite Concurrent Game Structures with imperfect information (iCGS) is undecidable.