1. Ball, T., Kupferman, O.: An abstraction-refinement framework for multi-agent systems. In: LICS, IEEE Computer Society Press, Los Alamitos (2006)
2. Lecture Notes in Computer Science;T. Ball,2001
3. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement for symbolic model checking. J. ACM 50(5), 752–794 (2003)
4. Dams, D., Namjoshi, K.S.: The existence of finite abstractions for branching time model checking. In: LICS, pp. 335–344. IEEE Computer Society Press, Los Alamitos (2004)
5. de Alfaro, L., Godefroid, P., Jagadeesan, R.: Three-valued abstractions of games: Uncertainty, but with precision. In: LICS, pp. 170–179 (2004)