A Hennessy-Milner Theorem for ATL with Imperfect Information

DOI10.1145/3373718.3394784zbMath1498.03046arXiv2006.15000MaRDI QIDQ5145630

Ferucio Laurenţiu Ţiplea, Catalin Dima, Francesco Belardinelli, Vadim Malvone

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2006.15000

zbMATH Keywords

bisimulation; ATL; concurrent game structures with imperfect information; Gale-Stewart determinacy

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03B44: Temporal logic