On the undecidability of probabilistic planning and related stochastic optimization problems (Q814465): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234083
@@ Property / cites work: Q4234083 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal control of partially observable Markovian systems
+Normal rank
@@ Property / cites work @@
+Optimal control of Markov processes with incomplete state information
+Normal rank
@@ Property / cites work @@
+Q4093372
@@ Property / cites work: Q4093372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143209
@@ Property / cites work: Q4143209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795523
@@ Property / cites work: Q3795523 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable problems for probabilistic automata of fixed dimension
+Normal rank
@@ Property / cites work @@
+A survey of computational complexity results in systems and control
+Normal rank
@@ Property / cites work @@
+Q4256521
@@ Property / cites work: Q4256521 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of partially observed Markov decision processes
+Normal rank
@@ Property / cites work @@
+The computational complexity of propositional STRIPS planning
+Normal rank
@@ Property / cites work @@
+Planning for conjunctive goals
@@ Property / cites work: Planning for conjunctive goals / 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 @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q3947125
@@ Property / cites work: Q3947125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4258591
@@ Property / cites work: Q4258591 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes
+Normal rank
@@ Property / cites work @@
+Q4215779
@@ Property / cites work: Q4215779 / rank @@
+Normal rank
@@ Property / cites work @@
+A subexponential randomized algorithm for the simple stochastic game problem
+Normal rank
@@ Property / cites work @@
+Q2717785
@@ Property / cites work: Q2717785 / rank @@
+Normal rank
@@ Property / cites work @@
+State of the Art—A Survey of Partially Observable Markov Decision Processes: Theory, Models, and Algorithms
+Normal rank
@@ Property / cites work @@
+Q4699290
@@ Property / cites work: Q4699290 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of finite-horizon Markov decision process problems
+Normal rank
@@ Property / cites work @@
+The Complexity of Markov Decision Processes
@@ Property / cites work: The Complexity of Markov Decision Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5643915
@@ Property / cites work: Q5643915 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal control of diffusion processes with reflection
+Normal rank
@@ Property / cites work @@
+Probabilistic automata
@@ Property / cites work: Probabilistic automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586349
@@ Property / cites work: Q5586349 / rank @@
+Normal rank
@@ Property / cites work @@
+The Optimal Control of Partially Observable Markov Processes over a Finite Horizon
+Normal rank
@@ Property / cites work @@
+The Optimal Control of Partially Observable Markov Processes over the Infinite Horizon: Discounted Costs
+Normal rank
@@ Property / cites work @@
+Solving H-horizon, stationary Markov decision problems in time proportional to log (H)
+Normal rank
@@ Property / cites work @@
+Finding Optimal Survey Policies via Adaptive Markov Decision Processes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:814465