Model Checking ATL* on vCGS

11 Mar 2019  ·  Belardinelli Francesco, Dima Catalin, Boureanu Ioana, Malvone Vadim ·

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...

PDF Abstract
No code implementations yet. Submit your code now


Logic in Computer Science


  Add Datasets introduced or used in this paper