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

• 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
• 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ů