Two Views on Multiple Mean-Payoff Objectives 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	BROŽEK Václav BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín
Rok publikování	2011
Druh	Článek ve sborníku
Konference	Proceedings 26th Annual IEEE Symposium on Logic in Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Doi	http://dx.doi.org/10.1109/LICS.2011.10
Obor	Informatika
Klíčová slova	Markov decision process; optimization with multiple objectives; mean payoff; Pareto curve; approximation
Popis	V článku jsou studovány Markovovy rozhodovací procesy s několika limit-average funkcemi. Uvažují se dva typy výherních podmínek a pro obě jsou podány základní výsledky o rozhodnutelnosti a složitosti příslušných rozhodovacích problémů.
Související projekty:	Institut Teoretické Informatiky Formální metody pro analýzu a verifikaci komplexních systémů