Alternating-time temporal logic (0)

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