1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49, 672–713 (2002)
2. Condon, A.: The complexity of stochastic games. Information and Computation 96, 203–224 (1992)
3. Lecture Notes in Computer Science;L. Alfaro de,1999
4. de Alfaro, L., Henzinger, T.A.: Concurrent ω-regular games. In: LICS 2000, pp. 141–154. IEEE, Los Alamitos (2000)
5. de Alfaro, L., Henzinger, T.A., Kupferman, O.: Concurrent reachability games. In: FOCS 1998, pp. 564–575. IEEE, Los Alamitos (1998)