Pages that link to "Item:Q3623004"
From MaRDI portal
The following pages link to Multi-Objective Model Checking of Markov Decision Processes (Q3623004):
Displaying 27 items.
- Trading performance for stability in Markov decision processes (Q340568) (← links)
- Compositional probabilistic verification through multi-objective model checking (Q386007) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- Compositional strategy synthesis for stochastic games with multiple objectives (Q1641028) (← links)
- The complexity of synchronizing Markov decision processes (Q1740670) (← links)
- Multi-objective optimization of long-run average and total rewards (Q2044201) (← links)
- Model checking hyperproperties for Markov decision processes (Q2105474) (← links)
- Multi-objective dynamic programming with limited precision (Q2114599) (← links)
- Markov automata with multiple objectives (Q2151241) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
- Ratio and Weight Quantiles (Q2946351) (← links)
- Quantitative Multi-objective Verification for Probabilistic Systems (Q3000641) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
- Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650) (← links)
- Decision Problems for Nash Equilibria in Stochastic Games (Q3644770) (← links)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (Q5039515) (← links)
- Simple Strategies in Multi-Objective MDPs (Q5039517) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)
- Percentile queries in multi-dimensional Markov decision processes (Q5892424) (← links)
- Model Checking for Safe Navigation Among Humans (Q6104810) (← links)
- Optimal deterministic controller synthesis from steady-state distributions (Q6156635) (← links)
- Stochastic games with lexicographic objectives (Q6632196) (← links)
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions (Q6647764) (← links)
- Stochastic games with disjunctions of multiple objectives (Q6649516) (← links)
