Recursive Markov Decision Processes and Recursive Stochastic Games (Q2796398): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1145/2699431
@@ Property / full work available at URL: https://doi.org/10.1145/2699431 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2220995138
@@ Property / OpenAlex ID: W2220995138 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234083
@@ Property / cites work: Q4234083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674726
@@ Property / cites work: Q5674726 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+Normal rank
@@ Property / cites work @@
+The complexity of quantitative concurrent parity games
+Normal rank
@@ Property / cites work @@
+The complexity of stochastic games
@@ Property / cites work: The complexity of stochastic games / 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 @@
+Markov decision processes and regular events
@@ Property / cites work: Markov decision processes and regular events / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent reachability games
@@ Property / cites work: Concurrent reachability games / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518905
@@ Property / cites work: Q4518905 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative solution of omega-regular games
@@ Property / cites work: Quantitative solution of omega-regular games / rank @@
+Normal rank
@@ Property / cites work @@
+Totally expanding multiplicative systems
@@ Property / cites work: Totally expanding multiplicative systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Turnpike Theorem For A Risk-Sensitive Markov Decision Process with Stopping
+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 @@
+A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars
+Normal rank
@@ Property / cites work @@
+Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations
+Normal rank
@@ Property / cites work @@
+Computing the Least Fixed Point of Positive Polynomial Systems
+Normal rank
@@ Property / cites work @@
+Polynomial time algorithms for multi-type branching processesand stochastic context-free grammars
+Normal rank
@@ Property / cites work @@
+Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations
+Normal rank
@@ Property / cites work @@
+Recursive Stochastic Games with Positive Rewards
@@ Property / cites work: Recursive Stochastic Games with Positive Rewards / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Qualitative Analysis of Classes of Recursive Markov Decision Processes and Simple Stochastic Games
+Normal rank
@@ Property / cites work @@
+Recursive Concurrent Stochastic Games
@@ Property / cites work: Recursive Concurrent Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations
+Normal rank
@@ Property / cites work @@
+On the Complexity of Nash Equilibria and Other Fixed Points
+Normal rank
@@ Property / cites work @@
+Model Checking of Recursive Probabilistic Systems
@@ Property / cites work: Model Checking of Recursive Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Multiplicative Systems
@@ Property / cites work: Multiplicative Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245633
@@ Property / cites work: Q3245633 / rank @@
+Normal rank
@@ Property / cites work @@
+Random walks with “back buttons” (extended abstract)
+Normal rank
@@ Property / cites work @@
+Handbook of Markov decision processes. Methods and applications
+Normal rank
@@ Property / cites work @@
+Q4382287
@@ Property / cites work: Q4382287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4155835
@@ Property / cites work: Q4155835 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching Processes
@@ Property / cites work: Branching Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5727090
@@ Property / cites work: Q5727090 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Probabilistic Concurrent Program
@@ Property / cites work: Termination of Probabilistic Concurrent Program / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix Analysis
@@ Property / cites work: Matrix Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127752
@@ Property / cites work: Q4127752 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching processes in biology
@@ Property / cites work: Branching processes in biology / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Matrix Analytic Methods in Stochastic Modeling
+Normal rank
@@ Property / cites work @@
+On the undecidability of probabilistic planning and related stochastic optimization problems
+Normal rank
@@ Property / cites work @@
+An inequality for the discriminant of a polynomial
+Normal rank
@@ Property / cites work @@
+Finitely additive stochastic games with Borel measurable payoffs
+Normal rank
@@ Property / cites work @@
+The determinacy of Blackwell games
@@ Property / cites work: The determinacy of Blackwell games / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Existence of Stationary Optimal Strategies
@@ Property / cites work: On the Existence of Stationary Optimal Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimization of Multitype Branching Processes
@@ Property / cites work: Optimization of Multitype Branching Processes / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+Growth Optimality for Branching Markov Decision Chains
+Normal rank
@@ Property / cites work @@
+Stochastic Games
@@ Property / cites work: Stochastic Games / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+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