Pages that link to "Item:Q924718"
From MaRDI portal
The following pages link to Reachability in recursive Markov decision processes (Q924718):
Displaying 19 items.
- Determinacy and optimal strategies in infinite-state stochastic reachability games (Q391114) (← links)
- Branching-time model-checking of probabilistic pushdown automata (Q394999) (← links)
- Reachability problems for Markov chains (Q477610) (← links)
- Qualitative reachability in stochastic BPA games (Q719240) (← links)
- Enforcing almost-sure reachability in POMDPs (Q832296) (← links)
- Greatest fixed points of probabilistic min/max polynomial equations, and reachability for branching Markov decision processes (Q1641009) (← links)
- Reachability and safety objectives in Markov decision processes on long but finite horizons (Q2188953) (← links)
- Analyzing probabilistic pushdown automata (Q2248071) (← links)
- Hyperplane separation technique for multidimensional mean-payoff games (Q2361356) (← links)
- Reachability analysis of uncertain systems using bounded-parameter Markov decision processes (Q2389641) (← links)
- Recursive stochastic games with positive rewards (Q2422034) (← links)
- Qualitative Analysis of VASS-Induced MDPs (Q2811349) (← links)
- Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters (Q3457809) (← links)
- Forward Recursion for Markov Decision Processes with Skip-Free-to-the-Right Transitions, Part I: Theory and Algorithm (Q3735510) (← links)
- (Q4547957) (← links)
- (Q5091277) (← links)
- Polynomial Time Algorithms for Branching Markov Decision Processes and Probabilistic Min(Max) Polynomial Bellman Equations (Q5108256) (← links)
- Regularity in PDA Games Revisited (Q5170272) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)
