Multi-Objective Model Checking of Markov Decision Processes
From MaRDI portal
Recommendations
Cited in
(50)- Compositional strategy synthesis for stochastic games with multiple objectives
- The complexity of synchronizing Markov decision processes
- Multi-objective optimization of long-run average and total rewards
- Model checking hyperproperties for Markov decision processes
- Multi-objective dynamic programming with limited precision
- Collaborative models for autonomous systems controller synthesis
- Multi-cost bounded tradeoff analysis in MDP
- Multi-cost bounded reachability in MDP
- Multi-objective discounted reward verification in graphs and MDPs
- Compositional reasoning for Markov decision processes (extended abstract)
- Ratio and weight quantiles
- Multiple-environment Markov decision processes
- Quantitative multi-objective verification for probabilistic systems
- Graph Games and Reactive Synthesis
- Model checking probabilistic systems
- Efficient and dynamic algorithms for alternating Büchi games and maximal end-component decomposition
- Sequential convex programming for the efficient verification of parametric MDPs
- Trading performance for stability in Markov decision processes
- Decision Problems for Nash Equilibria in Stochastic Games
- Probabilistic Systems with LimSup and LimInf Objectives
- Compositional probabilistic verification through multi-objective model checking
- Model and objective separation with conditional lower bounds: disjunction is harder than conjunction
- Pareto curves for probabilistic model checking
- Farkas certificates and minimal witnesses for probabilistic reachability constraints
- Simple strategies in multi-objective MDPs
- Life is random, time is not: Markov decision processes with window objectives
- Mixing probabilistic and non-probabilistic objectives in Markov decision processes
- Unifying two views on multiple mean-payoff objectives in Markov decision processes
- Markov decision processes with multiple long-run average objectives
- Probabilistic model checking for energy-utility analysis
- Markov Decision Processes with Multiple Objectives
- Markov Decision Processes with Multiple Long-Run Average Objectives
- Multi-objective Model Checking of Markov Decision Processes
- Life is random, time is not: Markov decision processes with window objectives
- Percentile queries in multi-dimensional Markov decision processes
- Percentile queries in multi-dimensional Markov decision processes
- Model Checking for Safe Navigation Among Humans
- Optimal deterministic controller synthesis from steady-state distributions
- Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives
- Compositional probabilistic model checking with string diagrams of MDPs
- Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves
- Stochastic games with lexicographic objectives
- Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions
- Stochastic games with disjunctions of multiple objectives
- Computing expected visiting times and stationary distributions in Markov chains: fast and accurate
- Reachability games and friends: a journey through the Lens of memory and complexity (invited talk)
- A direct reduction from stochastic parity games to simple stochastic games
- Compositional reasoning for parametric probabilistic automata
- CEGAR for compositional analysis of qualitative properties in Markov decision processes
- Performability assessment by model checking of Markov reward models
This page was built for publication: Multi-Objective Model Checking of Markov Decision Processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3623004)
