Alternating-Time Temporal Logic

authors: Rajeev Alur, Thomas A. Henzinger, Orna Kupferman

venue (journal): Journal of the ACM

date: 2002

specification languages

• ATL

keywords

(nil)

URL

• https://dx.doi.org/10.1145/585265.585270 (auto-generated link)

BibTeX

@article{46e67ce6-8bbf-42a7-ac98-7a6336874510,
  title = {Alternating-Time Temporal Logic},
  author = {Rajeev Alur AND Thomas A. Henzinger AND Orna Kupferman},
  year = {2002},
  journal = {Journal of the ACM},
}