Alternating-time Temporal Logic (1997)

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