Interval Markov decision processes with multiple objectives: from robust strategies to Pareto curves

Multi-objective and goal programming (90C29) Fuzzy and other nonstochastic uncertainty mathematical programming (90C70) Markov and semi-Markov decision processes (90C40)

Cites Work

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Compositional probabilistic verification through multi-objective model checking
Bounded-parameter Markov decision processes
Interval-valued finite Markov chains
On the complexity of model checking interval-valued discrete time Markov chains
Parameter synthesis for Markov models: faster than ever
Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
On Stochastic Games with Multiple Objectives
Polynomial-Time Verification of PCTL Properties of MDPs with Convex Uncertainties
Model checking of probabilistic and nondeterministic systems
Formal Verification and Synthesis for Discrete-Time Stochastic Systems
Quantitative Multi-objective Verification for Probabilistic Systems
Compositional Controller Synthesis for Stochastic Games
Sequential Convex Programming for the Efficient Verification of Parametric MDPs
Pareto Curves for Probabilistic Model Checking
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
Robust Control of Markov Decision Processes with Uncertain Transition Matrices
LTL Model Checking of Interval Markov Chains
Markov Decision Processes with Multiple Objectives
Model-Checking ω-Regular Properties of Interval Markov Chains
Theoretical Aspects of Computing - ICTAC 2004
Multi-objective Model Checking of Markov Decision Processes
Parameter Synthesis Algorithms for Parametric Interval Markov Chains
Model Checking Software
Percentile queries in multi-dimensional Markov decision processes