Markov decision processes with multiple long-run average objectives

DOI10.2168/LMCS-10(1:13)2014zbMATH Open1326.90101OpenAlexW2762030425MaRDI QIDQ5404479FDOQ5404479

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

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

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)

Cited In (32)

• 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
• Percentile queries in multi-dimensional Markov decision processes
• Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives
• Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints
• Optimal deterministic controller synthesis from steady-state distributions
• Ratio and weight quantiles
• Multi-Objective Model Checking of Markov Decision Processes
• Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
• Title not available (Why is that?)
• 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
• PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
• Nearly optimal verifiable data streaming
• Trading performance for stability in Markov decision processes
• Different strokes in randomised strategies: revisiting Kuhn's theorem under finite-memory assumptions
• Mixing probabilistic and non-probabilistic objectives in Markov decision processes
• Title not available (Why is that?)
• 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
• Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

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)