Alternating-Time Temporal Logic

authors: Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman

venue (journal): Information and Computation

date: 2010

specification languages

• SL

keywords

(nil)

URL

• http://www.cs.le.ac.uk/people/np183/publications/2010/CHP10.pdf
• http://www.cs.le.ac.uk/people/np183/publications/bibtexbrowser.php?key=CHP10&bib=publications.bib
• https://dx.doi.org/10.1016/j.ic.2009.07.004 (auto-generated link)

BibTeX

@article{97a68691-cd64-4eb8-8b3a-ce2f9f4ce09a,
  title = {Alternating-Time Temporal Logic},
  author = {Krishnendu Chatterjee AND Thomas A. Henzinger AND Nir Piterman},
  year = {2010},
  journal = {Information and Computation},
}