Author:
Mnich Matthias,Röglin Heiko,Rösner Clemens
Subject
Applied Mathematics,Computational Theory and Mathematics,Theoretical Computer Science
Reference26 articles.
1. New deterministic algorithms for solving parity games;Mnich,2016
2. E.A. Emerson, C.S. Jutla, Tree automata, mu-calculus and determinacy, in: Proc. FOCS 1991, 1991, pp. 368–377.
3. Deciding the winner in parity games is in UP∩co-UP;Jurdziński;Inform. Process. Lett.,1998
4. Local model checking games;Stirling,1995
5. A discrete subexponential algorithm for parity games;Björklund,2003
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献