Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.

Michael J. Wooldridge, Wiebe van der Hoek

Browse the full Coordination paper archive.