no code implementations • 19 Apr 2022 • Francesco Belardinelli, Ioana Boureanu, Catalin Dima, Vadim Malvone
To underline, the fragment of ATL for which we show the model-checking problem to be decidable over A-cast is a large and significant one; it expresses coalitions over agents in any subset of the set A.
