Zpět na vyhledávání

Bc. Pavel Šimovec

Bachelor's thesis

Transformation of Nondeterministic Büchi Automata to Slim Automata

Transformation of Nondeterministic Büchi Automata to Slim Automata
Abstract:
Tato práce popisuje konstrukci nedeterministických slim Büchi automatů dobrých pro Markovovy rozhodovací procesy. Konstrukce je implementována v nástroji zvaném Seminator. Slim automaty, které jsou konstruovány Seminátorem, jsou porovnávány s dalšími automaty, které jsou produkovány různými nástroji. Automaty jsou porovnávány podle počtu stavů, délky konstrukce a rychlosti učení při použití pro zpětnovazebné …more
Abstract:
The thesis describes nondeterministic slim Büchi good for Markov decision processes automata construction and extends it for generalized Büchi Automata. The construction is implemented in a tool called Seminator. Slim automata constructed by Seminator are compared to other automata produced by different tools. The automata are compared by the number of states, construction time, and learning speed …more
 

Keywords

slim automata Büchi Automata GFM-automata Seminator
 
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2021
Identifier: https://is.muni.cz/th/nd15g/

Thesis defence

  • Date of defence: 30. 6. 2021
  • Supervisor: doc. RNDr. Jan Strejček, Ph.D.
  • Reader: doc. 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

Bachelor programme / field:
Applied Informatics / Applied Informatics

Theses on a related topic

List of theses with an identical keyword.
  • No theses on a related topic available.