Alternating-time temporal logic. (2002)

by R Alur, T A Henzinger, O Kupferman
Venue:J. ACM