Q5092368 (Q5092368): Difference between revisions

@@ Property / cites work @@
+Q3384167
@@ Property / cites work: Q3384167 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving parity games via priority promotion
@@ Property / cites work: Solving parity games via priority promotion / rank @@
+Normal rank
@@ Property / cites work @@
+A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+Normal rank
@@ Property / cites work @@
+Deciding parity games in quasipolynomial time
@@ Property / cites work: Deciding parity games in quasipolynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games
+Normal rank
@@ Property / cites work @@
+Q5365081
@@ Property / cites work: Q5365081 / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Exponential Lower Bounds for Policy Iteration
@@ Property / cites work: Exponential Lower Bounds for Policy Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient parallel strategy improvement for parity games
+Normal rank
@@ Property / cites work @@
+Recursive algorithm for parity games requires exponential time
+Normal rank
@@ Property / cites work @@
+Subexponential lower bounds for randomized pivoting rules for the simplex algorithm
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144638
@@ Property / cites work: Q5144638 / rank @@
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+A brief excursion to parity games
@@ Property / cites work: A brief excursion to parity games / rank @@
+Normal rank
@@ Property / cites work @@
+A modal μ perspective on solving parity games in quasi-polynomial time
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games played on finite graphs
@@ Property / cites work: Infinite games played on finite graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4074888
@@ Property / cites work: Q4074888 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving parity games in big steps
@@ Property / cites work: Solving parity games in big steps / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and simple nested fixpoints
@@ Property / cites work: Fast and simple nested fixpoints / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / cites work @@
+The complexity of mean payoff games on graphs
@@ Property / cites work: The complexity of mean payoff games on graphs / rank @@
+Normal rank