Multi-weighted Markov decision processes with reachability objectives

MaRDI QIDQ3384895zbMATH OpenFDO

Authors Patricia Bouyer, Mauricio Gonzalez, Nicolas Markey, Mickael Randour

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1809.03107, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF18.18

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Recommendations

• Percentile queries in multi-dimensional Markov decision processes
• Percentile queries in multi-dimensional Markov decision processes
• Stochastic shortest paths and weight-bounded properties in Markov decision processes
• Multi-cost bounded reachability in MDP
• Markov Decision Processes with Multiple Objectives

Cites work

• Conditional value-at-risk for reachability and mean payoff in Markov decision processes
• scientific article; zbMATH DE number 700091 (Why is no real title available?)
• scientific article; zbMATH DE number 1134975 (Why is no real title available?)
• Markov decision processes with multiple long-run average objectives
• Markov Decision Processes with Multiple Long-Run Average Objectives
• Maximizing the conditional expected reward for reaching the goal
• Meet your expectations with guarantees: beyond worst-case synthesis in quantitative games
• Multidimensional beyond worst-case and almost-sure problems for mean-payoff objectives
• Percentile queries in multi-dimensional Markov decision processes
• Stochastic shortest paths and weight-bounded properties in Markov decision processes
• The odds of staying on budget
• Threshold constraints with guarantees for parity objectives in Markov decision processes
• Trade-off analysis meets probabilistic model checking
• Unifying two views on multiple mean-payoff objectives in Markov decision processes
• Variations on the stochastic shortest path problem

Cited in

(6)

• Reachability and safety objectives in Markov decision processes on long but finite horizons
• A multi-objective approach for PH-graphs with applications to stochastic shortest paths
• Simple strategies in multi-objective MDPs
• Life is random, time is not: Markov decision processes with window objectives
• Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
• Life is random, time is not: Markov decision processes with window objectives

This page was built for publication: Multi-weighted Markov decision processes with reachability objectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384895)