“…The former is focused on the way in which ATL and its extensions can be used for verification of multi-agent systems -in particular, what is the complexity of model checking, and how one can overcome the inherent difficulties. An interested reader is referred to [35] for an overview, and to [12,113,118,76,84,39,54,17,77,16,87] for more specific results. Analogous research have been conducted for the more expressive language of Strategy Logic [45,93,90,71].…”