Model Checking ATL* on vCGS
classification
💻 cs.LO
keywords
checkingmodelvcgsatom-visibilityconcurrentcontrolgameicgs
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.