Alternating-time Temporal Logic (1997)

by Rajeev Alur , Thomas Henzinger , Orna Kupferman
Venue:Journal of the ACM
Citations:448 - 47 self