@article{771a61c9bc45449bbe406cb1cc332489,
title = "Game-Theoretic Semantics for ATL+ with Applications to Model Checking",
keywords = "Game-theoretic semantics, Alternating-time temporal logic, Algorithmic model checking, Tractable fragments, Finite memory strategies, 113 Computer and information sciences",
author = "Valentin Goranko and Antti Kuusisto and Raine R{\"o}nnholm",
year = "2021",
month = feb,
doi = "10.1016/j.ic.2020.104554",
language = "English",
volume = "276",
journal = "Information and Computation",
issn = "0890-5401",
publisher = "Elsevier Inc. ",
}