O.: Alternating-time temporal logic (2002)

by R Alur, T A Henzinger, Kupferman
Venue:Journal of the ACM