Author:
Björklund Henrik,Sandberg Sven,Vorobyov Sergei
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. H. Björklund, S. Sandberg, and S. Vorobyov. A discrete subexponential algorithm for parity games. Technical Report 2002-026, Department of Information Technology, Uppsala University, September 2002. http://www.it.uu.se/research/reports/ .
2. Lect Notes Comput Sci;A. Browne,1997
3. E. A. Emerson. Model checking and the Mu-calculus. In N. Immerman and Ph. G. Kolaitis, editors, DIMACS Series in Discrete Mathematics, volume 31, pages 185–214, 1997.
4. Lect Notes Comput Sci;E. A. Emerson,1993
5. E. A. Emerson and C. S. Jutla. Tree automata, μ-calculus and determinacy. In Annual IEEE Symp. on Foundations of Computer Science, pages 368–377, 1991.
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parity game reductions;Acta Informatica;2017-08-04
2. New Deterministic Algorithms for Solving Parity Games;LATIN 2016: Theoretical Informatics;2016
3. Quantitative Synthesis for Concurrent Programs;Computer Aided Verification;2011
4. Logiken auf unendlichen Bäumen;Automatentheorie und Logik;2011
5. Non-oblivious Strategy Improvement;Logic for Programming, Artificial Intelligence, and Reasoning;2010