Model Checking ATL* on vCGSDownload PDFOpen Website

Francesco Belardinelli, Catalin Dima, Ioana Boureanu, Vadim Malvone

2019 (modified: 16 Apr 2023)CoRR 2019Readers: Everyone
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.
0 Replies