77 citations · 145 across the 23 of their papers we have counts for
1 paper · 1 filter
Francesco Belardinelli, Catalin Dima, Ioana Boureanu +1
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…