Pages that link to "Item:Q5194931"
From MaRDI portal
The following pages link to Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes (Q5194931):
Displaying 7 items.
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
- A survey of decision making and optimization under uncertainty (Q2241216) (← links)
- Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives (Q4635664) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Parameter synthesis for Markov models: covering the parameter space (Q6564178) (← links)
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves (Q6600072) (← links)