Parameterized Algorithms for Parity Games (Q2946404): Difference between revisions

@@ Property / cites work @@
+The dag-width of directed graphs
@@ Property / cites work: The dag-width of directed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Entanglement and the complexity of directed graphs
+Normal rank
@@ Property / cites work @@
+Memoryless determinacy of parity and mean payoff games: a simple proof
+Normal rank
@@ Property / cites work @@
+A combinatorial strongly subexponential strategy improvement algorithm for mean payoff games
+Normal rank
@@ Property / cites work @@
+Decomposition theorems and model-checking for the modal             <i>μ</i>             -calculus
+Normal rank
@@ Property / cites work @@
+An improved algorithm for the evaluation of fixpoint expressions
+Normal rank
@@ Property / cites work @@
+A survey of stochastic \(\omega \)-regular games
@@ Property / cites work: A survey of stochastic \(\omega \)-regular games / 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 @@
+Graph operations on parity games and polynomial-time algorithms
+Normal rank
@@ Property / cites work @@
+The Complexity of Tree Automata and Logics of Programs
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Algorithms parameterized by vertex cover and modular width, through potential maximal cliques
+Normal rank
@@ Property / cites work @@
+Parameterized Algorithms for Modular-Width
@@ Property / cites work: Parameterized Algorithms for Modular-Width / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Digraph measures: Kelly decompositions, games, and orderings
+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 @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+Normal rank
@@ Property / cites work @@
+Memoryless Determinacy of Parity Games
@@ Property / cites work: Memoryless Determinacy of Parity Games / 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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Clique-Width and Parity Games
@@ Property / cites work: Clique-Width and Parity Games / 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 @@
+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