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...

Full description

Bibliographic Details
Main Authors: Brázdil, T, Brožek, V, Chatterjee, K, Forejt, V, Kučera, A
Format: Conference item
Published: IEEE 2011