Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BROŽEK Václav BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

Year of publication 2011
Type Article in Proceedings
Conference Proceedings 26th Annual IEEE Symposium on Logic in Computer Science
MU Faculty or unit

Faculty of Informatics

Citation
Doi http://dx.doi.org/10.1109/LICS.2011.10
Field Informatics
Keywords Markov decision process; optimization with multiple objectives; mean payoff; Pareto curve; approximation
Description 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 reward functions, in the expectation objective the goal is to maximize the expected value, and in the satisfaction objective the goal is to maximize the probability of runs such that the limit-average value stays above a given vector.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.