Relentful strategic reasoning in alternating-time temporal logic

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi. Relentful strategic reasoning in alternating-time temporal logic. Journal of Logic and Computation, 26(5):1663-1695, 2016. [doi]

Abstract

Abstract is missing.