Upload an image to customize your repository’s social media preview.
Images should be at least 640×320px (1280×640px for best display).
11 Mar 2019
Edit social preview
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...