Comparison of algorithms for simple stochastic games (Q2105472): Difference between revisions

@@ Property / cites work @@
+Approximating Values of Generalized-Reachability Stochastic Games
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring the reliability of your model checker: interval iteration for Markov decision processes
+Normal rank
@@ Property / cites work @@
+On the Complexity of Value Iteration
@@ Property / cites work: On the Complexity of Value Iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Markov Decision Processes Using Learning Algorithms
+Normal rank
@@ Property / cites work @@
+Strategy improvement for concurrent reachability and turn-based stochastic safety games
+Normal rank
@@ Property / cites work @@
+Q4964720
@@ Property / cites work: Q4964720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111270
@@ Property / cites work: Q5111270 / rank @@
+Normal rank
@@ Property / cites work @@
+Value Iteration
@@ Property / cites work: Value Iteration / rank @@
+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 @@
+Stochastic games with lexicographic reachability-safety objectives
+Normal rank
@@ Property / cites work @@
+Model-Checking ω-Regular Properties of Interval Markov Chains
+Normal rank
@@ Property / cites work @@
+Automatic verification of competitive stochastic systems
+Normal rank
@@ Property / cites work @@
+On Stochastic Games with Multiple Objectives
@@ Property / cites work: On Stochastic Games with Multiple Objectives / 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 @@
+Q4287357
@@ Property / cites work: Q4287357 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of probabilistic verification
@@ Property / cites work: The complexity of probabilistic verification / rank @@
+Normal rank
@@ Property / cites work @@
+Another sub-exponential algorithm for the simple stochastic game
+Normal rank
@@ Property / cites work @@
+Q3112630
@@ Property / cites work: Q3112630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Stochastic Games with Few Random Vertices Are Easy to Solve
+Normal rank
@@ Property / cites work @@
+Interval iteration algorithm for MDPs and IMDPs
@@ Property / cites work: Interval iteration algorithm for MDPs and IMDPs / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of solving reachability games using value and strategy iteration
+Normal rank
@@ Property / cites work @@
+Optimistic value iteration
@@ Property / cites work: Optimistic value iteration / rank @@
+Normal rank
@@ Property / cites work @@
+On Nonterminating Stochastic Games
@@ Property / cites work: On Nonterminating Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Simple Stochastic Games with Few Coin Toss Positions
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+Value iteration for simple stochastic games: stopping criterion and learning algorithm
+Normal rank
@@ Property / cites work @@
+The polynomial solvability of convex quadratic programming
+Normal rank
@@ Property / cites work @@
+Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Q5875366
@@ Property / cites work: Q5875366 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5021007
@@ Property / cites work: Q5021007 / rank @@
+Normal rank
@@ Property / cites work @@
+A subexponential randomized algorithm for the simple stochastic game problem
+Normal rank
@@ Property / cites work @@
+Widest paths and global propagation in bounded value iteration for stochastic games
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Sound value iteration
@@ Property / cites work: Sound value iteration / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Related Problems
@@ Property / cites work: Computationally Related Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849562
@@ Property / cites work: Q2849562 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative verification and strategy synthesis for stochastic games
+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