Markov Decision Processes with Multiple Objectives

DOI10.1007/11672142_26zbMath1136.90498OpenAlexW1491322982MaRDI QIDQ5449810

Rupak Majumdar, Krishnendu Chatterjee, Thomas A. Henzinger

Publication date: 19 March 2008

Published in: STACS 2006 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11672142_26

Mathematics Subject Classification ID

Multi-objective and goal programming (90C29) Markov and semi-Markov decision processes (90C40) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (22)

What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives ⋮ Simple Strategies in Multi-Objective MDPs ⋮ Synthesizing efficient systems in probabilistic environments ⋮ Graph Games and Reactive Synthesis ⋮ Model Checking Probabilistic Systems ⋮ Necessary and sufficient Karush-Kuhn-Tucker conditions for multiobjective Markov chains optimality ⋮ Compositional strategy synthesis for stochastic games with multiple objectives ⋮ Trading performance for stability in Markov decision processes ⋮ A multi-objective approach for PH-graphs with applications to stochastic shortest paths ⋮ An extended ϵ‐constraint method for a multiobjective finite‐horizon Markov decision process ⋮ Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Percentile queries in multi-dimensional Markov decision processes ⋮ Quantitative Multi-objective Verification for Probabilistic Systems ⋮ Quantitative Automata under Probabilistic Semantics ⋮ Combinations of Qualitative Winning for Stochastic Parity Games ⋮ Probabilistic Model Checking for Energy-Utility Analysis ⋮ Light robustness in the optimization of Markov decision processes with uncertain parameters ⋮ Markov Decision Processes with Multiple Long-Run Average Objectives ⋮ Multi-objective optimization of long-run average and total rewards ⋮ Semi-Markov decision processes with vector pay-offs ⋮ Solving sequential collective decision problems under qualitative uncertainty

This page was built for publication: Markov Decision Processes with Multiple Objectives