Determinacy and Optimal Strategies in Stochastic Games – Bc. Jan Krčál, Ph.D.
Bc. Jan Krčál, Ph.D.
Diplomová práce
Determinacy and Optimal Strategies in Stochastic Games
Determinacy and Optimal Strategies in Stochastic Games
Anotace:
Zabýváme se determinovaností stochastických tahových her s úplnou informací a s výherními cíli dosažitelnosti, bezpečnosti a Büchiho akceptační podmínky. Odděleně rozebíráme situaci pro konečně stavové hry, konečně větvící hry s nekonečně stavy a nekonečně stavové hry s neomezeným větvením. Ačkoli všechny tyto typy her jsou determinované díky obecnému výsledku Martina, my uvádíme jednodušší důkazy …víceAbstract:
We deal with the determinacy of stochastic turn-based perfect-information games with reachability, safety, and Büchi winning objectives. We separately discuss the situation for finite-state games, finitely- branching infinite-state games and infinite-state games with unlimited branching. Even though all these games are determined thanks to the general result of Martin, we provide simpler proofs for …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor:
https://is.muni.cz/th/czpdm/
Obhajoba závěrečné práce
- Obhajoba proběhla 2. 7. 2009
- Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
- Oponent: doc. RNDr. Tomáš Brázdil, Ph.D.
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
Šimon Brlej -
Pareto Front Estimation in Risk-Constrained Markov Decision Processes
Martin Kurečka -
Markov Decision Processes with Multiple Resource Constraints
Jaroslav Pospíšek -
Efficient Verification of Multi-Objective Queries in Markov Decision Processes
Vít Unčovský -
Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes
Zuzana Komárková -
Monte Carlo Tree Search in Verification of Markov Decision Processes
Ondřej Slámečka -
Reinforcement Learning of Risk-Averse Policies in Markov Decision Processes
Jiří Vahala -
Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives
Dávid Meluš