Alternating-Time Temporal Logic (0)

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