Alternating-time Temporal Logic (1997)

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