Alternating-time temporal logic with explicit strategies.

Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge

Browse the full TARK paper archive.