Alternating-time Temporal Logic (1997)

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

Document Versions

Alternating-time Temporal Logic –Rajeev Alur, Thomas Henzinger, Orna Kupferman — 1997 — Journal of the ACM
Alternating-time Temporal Logic –Rajeev Alur, Thomas A. Henzinger, Orna Kupferman — 1997 — Journal of the ACM
Alternating-time Temporal Logic –Rajeev Alur, Thomas A. Henzinger, Orna Kupferman — 1997
Alternating-time temporal logic –Thomas A. Henzinger, Vinayak S. Prabhu — 1997 — Journal of the ACM