Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Alternating-time temporal logic on finite traces.
27th International Joint Conference on Artificial Intelligence (IJCAI 2018), Jul 2018, Stockholm, Sweden. pp.77--83.
⟨hal-01918365⟩