Trading Performance for Stability in Markov Decision Processes

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín
Rok publikování	2013
Druh	Článek ve sborníku
Konference	Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	http://dx.doi.org/10.1109/LICS.2013.39
Obor	Informatika
Klíčová slova	Markov decision processes; optimization
Popis	We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability. We argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on each run deviate from the run's own mean-payoff and from the expected mean-payoff, respectively.
Související projekty:	Formální verifikace stochastických systémů s reálným časem