Back to search

Bc. Ondřej Slámečka

Master's thesis

Monte Carlo Tree Search in Verification of Markov Decision Processes

Monte Carlo Tree Search in Verification of Markov Decision Processes
Abstract:
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 …more
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 …more
 

Keywords

Monte Carlo Tree Search Markov Decision Process Verification Reachability Learning Algorithm
 
Language used: English
Date on which the thesis was submitted / produced: 13. 12. 2017
Identifier: https://is.muni.cz/th/axlhf/

Thesis defence

  • Date of defence: 5. 2. 2018
  • Supervisor: doc. RNDr. Tomáš Brázdil, Ph.D.
  • Reader: RNDr. Vojtěch Řehák, Ph.D.

Citation record

Cite this text

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
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Theoretical Informatics

Theses on a related topic

List of theses with an identical keyword.