Bc. Jan Krčál, Ph.D.

Master's thesis

Determinacy and Optimal Strategies in Stochastic Games

Determinacy and Optimal Strategies in Stochastic Games
Abstract:
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 …more
Abstract:
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 …more
 
 
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2009

Thesis defence

  • Date of defence: 2. 7. 2009
  • Supervisor: prof. RNDr. Antonín Kučera, Ph.D.
  • Reader: doc. RNDr. Tomáš Brázdil, Ph.D.

Citation record

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky