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