Pages that link to "Item:Q5449810"
From MaRDI portal
The following pages link to Markov Decision Processes with Multiple Objectives (Q5449810):
Displayed 22 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Synthesizing efficient systems in probabilistic environments (Q300419) (← links)
- Necessary and sufficient Karush-Kuhn-Tucker conditions for multiobjective Markov chains optimality (Q313188) (← links)
- Trading performance for stability in Markov decision processes (Q340568) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- Light robustness in the optimization of Markov decision processes with uncertain parameters (Q2003420) (← links)
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Semi-Markov decision processes with vector pay-offs (Q2080039) (← links)
- Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
- Solving sequential collective decision problems under qualitative uncertainty (Q2330008) (← links)
- A multi-objective approach for PH-graphs with applications to stochastic shortest paths (Q2661758) (← links)
- Quantitative Multi-objective Verification for Probabilistic Systems (Q3000641) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (Q3519498) (← links)
- Quantitative Automata under Probabilistic Semantics (Q4635863) (← links)
- Simple Strategies in Multi-Objective MDPs (Q5039517) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Markov Decision Processes with Multiple Long-Run Average Objectives (Q5458858) (← links)
- Combinations of Qualitative Winning for Stochastic Parity Games (Q5875367) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)
- An extended ϵ‐constraint method for a multiobjective finite‐horizon Markov decision process (Q6060650) (← links)