Bc. Ondřej Slámečka

Diplomová práce

Monte Carlo Tree Search in Verification of Markov Decision Processes

Monte Carlo Tree Search in Verification of Markov Decision Processes
Anotace:
Zkoumáme jak lze použít algoritmy typu Monte Carlo Tree Search na problém verifikace Markovovských rozhodovacích procesů (s úplnou informací) díky jejich vyvažování mezi úplným a heuristickým prohledáváním. Navrhujeme několik nových algoritmů založených na UCT (nejúspěšnější MCTS algoritmus) a experimentálně je vyhodnocujeme na standardních modelech. Výsledky ukazují, že existují standardní modely …více
Abstract:
We explore how Monte Carlo tree search type algorithms can be used for verification of Markov decision processes (with complete information) due to their balance between exhaustive and heuristic search. Several new algorithms either based on UCT (the most successful MCTS algorithm) are proposed and experimentally evaluated on standard models. Our results show there are standard models where they outperform …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 13. 12. 2017

Obhajoba závěrečné práce

  • Obhajoba proběhla 5. 2. 2018
  • Vedoucí: doc. RNDr. Tomáš Brázdil, Ph.D.
  • Oponent: RNDr. Vojtěch Řehák, 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 informatiky

Masarykova univerzita

Fakulta informatiky

Magisterský studijní program / obor:
Informatika / Teoretická informatika