Symmetric Strategy Improvement (Q3449491): Difference between revisions

@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+DAG-Width and Parity Games
@@ Property / cites work: DAG-Width and Parity Games / 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 @@
+Q4287357
@@ Property / cites work: Q4287357 / rank @@
+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 @@
+Non-oblivious Strategy Improvement
@@ Property / cites work: Non-oblivious Strategy Improvement / rank @@
+Normal rank
@@ Property / cites work @@
+An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms
+Normal rank
@@ Property / cites work @@
+A Subexponential Lower Bound for Zadeh’s Pivoting Rule for Solving Linear Programs and Games
+Normal rank
@@ Property / cites work @@
+A superpolynomial lower bound for strategy iteration based on snare memorization
+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 @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A subexponential randomized algorithm for the simple stochastic game problem
+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 @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+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 @@
+An Optimal Strategy Improvement Algorithm for Solving Parity and Payoff Games
+Normal rank
@@ Property / cites work @@
+Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus
+Normal rank
@@ Property / cites work @@
+Synthesis of Asynchronous Systems
@@ Property / cites work: Synthesis of Asynchronous Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetric Strategy Improvement
@@ Property / cites work: Symmetric Strategy Improvement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754084
@@ Property / cites work: Q2754084 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating tree automata, parity games, and modal \(\mu\)-calculus
+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