Back to Search Start Over

Model Checking ATL* on vCGS

Authors :
Belardinelli, Francesco
Dima, Catalin
Boureanu, Ioana
Malvone, Vadim
Publication Year :
2019

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.

Subjects

Subjects :
Computer Science - Logic in Computer Science

Details

Database :
arXiv
Publication Type :
Report
Accession number :
edsarx.1903.04350
Document Type :
Working Paper

Tools

Authors Abstract Subjects Details