# Recommended readings (starter list)

These references are **suggested background** for attendees.

- R. Alur, T. A. Henzinger, and O. Kupferman. *Alternating-time Temporal Logic*. Journal of the ACM, 2002.
- F. Mogavero, A. Murano, G. Perelli, and M. Y. Vardi. *Reasoning About Strategies: On the Model-Checking Problem*. ACM Transactions on Computational Logic, 2014. (Strategy Logic)
- E. M. Clarke, O. Grumberg, D. Peled. *Model Checking*. MIT Press, 1999. (foundations)
- M. Wooldridge. *An Introduction to MultiAgent Systems* (2nd ed.). Wiley, 2009. (MAS foundations)