Author:
Gutierrez Julian,Winskel Glynn
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)
2. Chatterjee, K., Henzinger, T.A.: A survey of stochastic ω-regular games. Journal of Computer and System Sciences 78(2), 394–413 (2012)
3. Clairambault, P., Gutierrez, J., Winskel, G.: The winning ways of concurrent games. In: LICS, pp. 235–244. IEEE Computer Society (2012)
4. Clairambault, P., Gutierrez, J., Winskel, G.: Imperfect information in logic and concurrent games. In: Coecke, B., Ong, L., Panangaden, P. (eds.) Abramsky Festschrift. LNCS, vol. 7860, pp. 7–20. Springer, Heidelberg (2013)
5. Gale, D., Stewart, F.: Infinite games with perfect information. Annals of Mathematical Studies 28, 245–266 (1953)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equilibria of concurrent games on event structures;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14