Pages that link to "Item:Q3167006"
From MaRDI portal
The following pages link to Minimizing Expected Termination Time in One-Counter Markov Decision Processes (Q3167006):
Displaying 4 items.
- Computing expected runtimes for constant probability programs (Q2305420) (← links)
- Recursive stochastic games with positive rewards (Q2422034) (← links)
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism (Q3297606) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)
