Markov Decision Processes with Multiple Long-run Average Objectives
We study Markov decision processes (MDPs) with multiple limit-average (or mean-payoff) functions. We consider two different objectives, namely, expectation and satisfaction objectives. Given an MDP with k limit-average functions, in the expectation objective the goal is to maximize the expected limi...
Váldodahkkit: | Brázdil, T, Brožek, V, Chatterjee, K, Forejt, V, Kučera, A |
---|---|
Materiálatiipa: | Conference item |
Almmustuhtton: |
IEEE
2011
|
Geahča maid
-
Reachability in recursive Markov decision processes.
Dahkki: Brázdil, T, et al.
Almmustuhtton: (2008) -
Trading Performance for Stability in Markov Decision Processes
Dahkki: Brázdil, T, et al.
Almmustuhtton: (2013) -
Trading performance for stability in Markov decision processes
Dahkki: Brazdil, T, et al.
Almmustuhtton: (2016) -
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
Dahkki: Brázdil, T, et al.
Almmustuhtton: (2008) -
Control of Markov chains with long-run average cost criterion
Almmustuhtton: (2003)