Trading performance for stability in Markov decision processes
<p>We study controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize the expected mean-payoff performance and stability (also known as variability in the literature). We argue that the basic notion of expressing the stability using the statis...
Päätekijät: | Brazdil, T, Chatterjee, K, Forejt, V, Kucera, A |
---|---|
Aineistotyyppi: | Journal article |
Julkaistu: |
Elsevier
2016
|
Samankaltaisia teoksia
-
Trading Performance for Stability in Markov Decision Processes
Tekijä: Brázdil, T, et al.
Julkaistu: (2013) -
Reachability in recursive Markov decision processes.
Tekijä: Brázdil, T, et al.
Julkaistu: (2008) -
Markov Decision Processes with Multiple Long-run Average Objectives
Tekijä: Brázdil, T, et al.
Julkaistu: (2011) -
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives.
Tekijä: Brázdil, T, et al.
Julkaistu: (2008) -
Markov Decision Processes with Multiple Long-run Average Objectives
Tekijä: Tomáš Brázdil, et al.
Julkaistu: (2014-02-01)