Markov Decision Processes with Multiple Long-run Average Objectives

DOI10.2168/LMCS-10(1:13)2014zbMath1326.90101OpenAlexW2762030425MaRDI QIDQ5404479

Vojtěch Forejt, Tomáš Brázdil, Krishnendu Chatterjee, Václav Brožek, Antonín 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) Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (12)

Markov automata with multiple objectives ⋮ Trading performance for stability in Markov decision processes ⋮ Ratio and Weight Quantiles ⋮ Optimal deterministic controller synthesis from steady-state distributions ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Unnamed Item ⋮ Percentile queries in multi-dimensional Markov decision processes ⋮ Deciding Fast Termination for Probabilistic VASS with Nondeterminism ⋮ Simple stochastic games with almost-sure energy-parity objectives are in NP and conp ⋮ Maximizing the Conditional Expected Reward for Reaching the Goal ⋮ Nearly Optimal Verifiable Data Streaming ⋮ Multi-objective optimization of long-run average and total rewards

This page was built for publication: Markov Decision Processes with Multiple Long-run Average Objectives