Publisher
Springer International Publishing
Reference19 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672–713 (2002)
2. Lecture Notes in Computer Science;T Brihaye,2009
3. Bulling, N., Jamroga, W.: Alternating epistemic
$$\upmu $$
-calculus. In: IJCAI, pp. 109–114 (2011)
4. Chatterjee, K., Henzinger, T.A., Piterman, N.: Strategy logic. Inf. Comput. 208, 677–693 (2010)
5. Lecture Notes in Computer Science;EA Emerson,1999