1. Alechina, N., Logan, B., Nga, N.H., Raimondi, F.: Model-checking for resource-bounded ATL with production and consumption of resources. CoRR, arXiv:1504.06766 (2015)
2. Almagor, S., Kupferman, O., Perelli, G.: Synthesis of controllable Nash equilibria in quantitative objective game. In: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13–19, 2018, Stockholm, Sweden, pp. 35–41 (2018)
3. Alur, R.: Principles of Cyber-Physical Systems. The MIT Press, Cambridge (2015)
4. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
5. Bang-Jensen, J., Gutin, G.: Digraphs: Theory, Algorithms and Applications. Springer, Berlin (2008)