# Model Checking ATL* on vCGS

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

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 11 Mar 2019.

## 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 prove that the model checking ATL* on concurrent game structures with propositional control for atom-visibility (vCGS) is undecidable. To do so, we reduce this problem to model checking ATL* on iCGS.