Author:
Chatterjee Krishnendu,Ibsen-Jensen Rasmus
Funder
FWF
ERC
Microsoft
Danish National Research Foundation
National Science Foundation of China
Danish Strategic Research Council
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference56 articles.
1. Alternating-time temporal logic;Alur;J. ACM,2002
2. Probabilistic omega-automata;Baier;J. ACM,2012
3. Qualitative determinacy and decidability of stochastic games with signals;Bertrand,2009
4. The asymptotic theory of stochastic games;Bewley;Math. Oper. Res.,1976
5. The big match;Blackwell;Ann. Math. Stat.,1968
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献