Robust worst cases for parity games algorithms (Q2182730): Difference between revisions

@@ Property / cites work @@
+Q3384167
@@ Property / cites work: Q3384167 / rank @@
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722064
@@ Property / cites work: Q4722064 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\)
+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 @@
+Positional strategies for mean payoff games
@@ Property / cites work: Positional strategies for mean payoff games / rank @@
+Normal rank
@@ Property / cites work @@
+Cyclic games and an algorithm to find minimax cycle means in directed graphs
+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
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722045
@@ Property / cites work: Q4722045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4542592
@@ Property / cites work: Q4542592 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+ATL* Satisfiability Is 2EXPTIME-Complete
@@ Property / cites work: ATL* Satisfiability Is 2EXPTIME-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980973
@@ Property / cites work: Q2980973 / rank @@
+Normal rank
@@ Property / cites work @@
+Substructure Temporal Logic
@@ Property / cites work: Substructure Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Substructures and Games
@@ Property / cites work: Reasoning About Substructures and Games / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point logics and solitaire games
@@ Property / cites work: Fixed-point logics and solitaire games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501540
@@ Property / cites work: Q4501540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-oblivious Strategy Improvement
@@ Property / cites work: Non-oblivious Strategy Improvement / rank @@
+Normal rank
@@ Property / cites work @@
+A superpolynomial lower bound for strategy iteration based on snare memorization
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+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 @@
+A deterministic subexponential algorithm for solving parity games
+Normal rank
@@ Property / cites work @@
+A Deterministic Subexponential Algorithm for Solving Parity Games
+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 @@
+Solving parity games in big steps
@@ Property / cites work: Solving parity games in big steps / 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 @@
+Q5015267
@@ Property / cites work: Q5015267 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144638
@@ Property / cites work: Q5144638 / rank @@
+Normal rank
@@ Property / cites work @@
+Attracting tangles to solve parity games
@@ Property / cites work: Attracting tangles to solve parity games / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Parity Games in Practice
@@ Property / cites work: Solving Parity Games in Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive algorithm for parity games requires exponential time
+Normal rank
@@ Property / cites work @@
+A modal μ perspective on solving parity games in quasi-polynomial time
+Normal rank
@@ Property / cites work @@
+Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
+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 @@
+Benchmark Graphs for Practical Graph Isomorphism
@@ Property / cites work: Benchmark Graphs for Practical Graph Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Graph isomorphism in quasipolynomial time [extended abstract]
+Normal rank
@@ Property / cites work @@
+Q3083813
@@ Property / cites work: Q3083813 / rank @@
+Normal rank
@@ Property / cites work @@
+An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
+Normal rank