Alternating-time temporal logic (2002)

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