Alternating-time temporal logic (1998)

by R Alur, T Henzinger, O Kupferman
Venue:Compositionality: The Significant Difference