Dirk Walther, Wiebe van der Hoek, Michael Wooldridge. Alternating-time temporal logic with explicit strategies. In Dov Samet, editor, Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007. pages 269-278, 2007. [doi]
Abstract is missing.