1. Lecture Notes in Computer Science;S Almagor,2011
2. Lecture Notes in Computer Science;R Alur,2009
3. Andersen, G., Conitzer, V.: Fast equilibrium computation for infinitely repeated games. In: Proceedings of AAAI, pp. 53–59 (2013)
4. Andersson, D.: An improved algorithm for discounted payoff games. In: ESSLLI Student Session, pp. 91–98 (2006)
5. Baier, C., Katoen, J.-P., et al.: Principles of Model Checking. MIT Press, Cambridge (2008)