Alternating-time Temporal Logic (1997)

by Rajeev Alur, Thomas Henzinger, Orna Kupferman
Venue:Journal of the ACM