Pages that link to "Item:Q3167006"

The following pages link to Minimizing Expected Termination Time in One-Counter Markov Decision Processes (Q3167006):

Displaying 3 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)