Pages that link to "Item:Q1951577"
From MaRDI portal
The following pages link to Approximating the termination value of one-counter MDPs and stochastic games (Q1951577):
Displaying 5 items.
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- One-counter stochastic games (Q2908841) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs (Q5883745) (← links)
- Positivity-hardness results on Markov decision processes (Q6566469) (← links)