Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes – Bc. et Bc. Zuzana Komárková
Bc. et Bc. Zuzana Komárková
Master's thesis
Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes
Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes
Anotácia:
Tato práce se zabývá Markovovými rozhodovacími procesy (MDPs) s několika průměrnými odměnami. Existují dva různé pohledy na tuto problematiku: (i) sémantika očekávané hodnoty, kde je naším cílem optimalizovat střední hodnotu průměrné odměny, a (ii) sémantika splnění hodnoty, kde je naším cílem maximalizovat pravděpodobnost běhů, pro které platí, že průměrná odměna je větší než zadaný vektor. Uvažujeme …viacAbstract:
This thesis investigates Markov decision processes (MDPs) with multiple long-run average (also called mean-payoff) objectives. There exist two different views on the topic: (i) the expectation semantics, where the goal is to optimize the expected mean-payoff value, and (ii) the satisfaction semantics, where the goal is to maximize the probability of runs such that the mean-payoff value stays above …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 22. 5. 2015
Identifikátor:
https://is.muni.cz/th/danob/
Obhajoba závěrečné práce
- Obhajoba proběhla 25. 6. 2015
- Vedúci: doc. RNDr. Tomáš Brázdil, Ph.D.
- Oponent: RNDr. Vojtěch Forejt, Ph.D.
Citační záznam
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Parallel and Distributed Systems
Práce na příbuzné téma
-
Synthesis of Minimal Schedulers for Markov Decision Processes
Miroslav Klimoš -
Evolutionary Modeling of Cell Processes
Anastasia SLUŠTÍKOVÁ LEBEDIK