Markov decision processes with multiple long-run average objectives

DOI10.2168/LMCS-10(1:13)2014MaRDI QIDQ5404479zbMATH OpenOpenAlexFDO

Authors Tomáš Brázdil, Václav Brožek, Krishnendu Chatterjee, Vojtech Forejt, Antonin Kučera

Publication date 24 March 2014

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-10(1:13)2014

zbMATH Keywords

Markov decision processesformal verificationmulti-objective optimisationmean-payoff reward

Mathematics Subject Classification ID

Multi-objective and goal programming (90C29) Specification and verification (program logics, model checking, etc.) (68Q60) Markov and semi-Markov decision processes (90C40)

Recommendations

• Markov Decision Processes with Multiple Long-Run Average Objectives
• Unifying two views on multiple mean-payoff objectives in Markov decision processes
• Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
• Markov Decision Processes with Multiple Objectives
• Multi-Objective Model Checking of Markov Decision Processes

Cited in

(32)

• Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
• Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
• Markov Decision Processes with Multiple Objectives
• Markov Decision Processes with Multiple Long-Run Average Objectives
• Simple stochastic games with almost-sure energy-parity objectives are in NP and conp
• Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
• Percentile queries in multi-dimensional Markov decision processes
• Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
• Ratio and weight quantiles
• Multi-Objective Model Checking of Markov Decision Processes
• Optimal deterministic controller synthesis from steady-state distributions
• Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
• scientific article; zbMATH DE number 7447747 (Why is no real title available?)
• Multi-objective Model Checking of Markov Decision Processes
• Unifying two views on multiple mean-payoff objectives in Markov decision processes
• Efficient strategy iteration for mean payoff in Markov decision processes
• Simple strategies in multi-objective MDPs
• Multi-objective optimization of long-run average and total rewards
• Multi-cost bounded tradeoff analysis in MDP
• Stochastic games with lexicographic objectives
• Stochastic games with disjunctions of multiple objectives
• Hedging bets in Markov decision processes
• Trading performance for stability in Markov decision processes
• Nearly optimal verifiable data streaming
• PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
• Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions
• Mixing probabilistic and non-probabilistic objectives in Markov decision processes
• scientific article; zbMATH DE number 987932 (Why is no real title available?)
• Multi-objective discounted reward verification in graphs and MDPs
• Probabilistic Systems with LimSup and LimInf Objectives
• Maximizing the conditional expected reward for reaching the goal
• Deciding fast termination for probabilistic VASS with nondeterminism

This page was built for publication: Markov decision processes with multiple long-run average objectives

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