Trading performance for stability in Markov decision processes

DOI10.1016/j.jcss.2016.09.009zbMath1359.90147arXiv1305.4103OpenAlexW2537440665MaRDI QIDQ340568

Antonín Kučera, Vojtěch Forejt, Tomáš Brázdil, Krishnendu Chatterjee

Publication date: 14 November 2016

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.4103

zbMATH Keywords

stabilityMarkov decision processesstochastic systemscontroller synthesismean payoff

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40)

Related Items (6)

Markov automata with multiple objectives ⋮ Unnamed Item ⋮ Multi-cost bounded tradeoff analysis in MDP ⋮ Multi-objective optimization of long-run average and total rewards ⋮ Unnamed Item ⋮ Timed games with bounded window parity objectives

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Approximation algorithms for indefinite quadratic programming
• Quadratic programming with one negative eigenvalue is NP-hard
• Strong laws of large numbers for weakly correlated random variables
• Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
• Finite state Markovian decision processes
• Quadratic programming is in NP
• Quantitative Multi-objective Verification for Probabilistic Systems
• Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
• Multi-Objective Model Checking of Markov Decision Processes
• Some NP-complete problems in quadratic and nonlinear programming
• Variance-Penalized Markov Decision Processes
• Markov Chains
• Mean-Variance Tradeoffs in an Undiscounted MDP
• Mean-Variance Tradeoffs in an Undiscounted MDP: The Unichain Case
• Markov decision processes and regular events
• Pareto Curves for Probabilistic Model Checking
• The variance of discounted Markov decision processes
• Trading Performance for Stability in Markov Decision Processes
• Markov Decision Processes with Multiple Long-run Average Objectives
• Markov Decision Processes with Multiple Objectives

This page was built for publication: Trading performance for stability in Markov decision processes