Pages that link to "Item:Q3088040"
From MaRDI portal
The following pages link to Energy and Mean-Payoff Parity Markov Decision Processes (Q3088040):
Displaying 9 items.
- Simple stochastic games with almost-sure energy-parity objectives are in NP and conp (Q2233425) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Ratio and Weight Quantiles (Q2946351) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- (Q5111253) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Measuring and Synthesizing Systems in Probabilistic Environments (Q5501954) (← 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)