Pages that link to "Item:Q2796398"
From MaRDI portal
The following pages link to Recursive Markov decision processes and recursive stochastic games (Q2796398):
Displaying 25 items.
- Model-free reinforcement learning for branching Markov decision processes (Q832301) (← links)
- Reachability in recursive Markov decision processes (Q924718) (← links)
- Two-player stochastic games. II: The case of recursive games (Q1594890) (← links)
- Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes (Q1641009) (← links)
- Approximating the termination value of one-counter MDPs and stochastic games (Q1951577) (← links)
- The uniform measure of simple regular sets of infinite trees (Q2029602) (← links)
- A denotational semantics for low-level probabilistic programs with nondeterminism (Q2133180) (← links)
- Recursive stochastic games with positive rewards (Q2422034) (← links)
- Existence and determination of the value and optimal strategies in recursive games (Q2567605) (← links)
- Markov decision processes and stochastic games with total effective payoff (Q2954987) (← links)
- Computing Game Metrics on Markov Decision Processes (Q3167014) (← links)
- Forward Recursion for Markov Decision Processes with Skip-Free-to-the-Right Transitions, Part I: Theory and Algorithm (Q3735510) (← links)
- Recursive Repeated Games with Absorbing States (Q4332264) (← links)
- (Q4530570) (← links)
- (Q5009454) (← links)
- Optimally Resilient Strategies in Pushdown Safety Games (Q5089248) (← links)
- (Q5091277) (← links)
- Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (Q5108256) (← links)
- (Q5129945) (← links)
- Cost vs. Time in Stochastic Games and Markov Automata (Q5351873) (← links)
- Automata, Languages and Programming (Q5716837) (← links)
- Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs (Q5883745) (← links)
- Recursive Concurrent Stochastic Games (Q5901535) (← links)
- Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models (Q6535632) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
