Transformation of Nondeterministic Büchi Automata to Slim Automata

Bc. Pavel Šimovec

Bakalářská práce

Anotace:

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é učení v nástroji Mungojerrie.

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 when used for reinforcement learning in the Mungojerrie tool.

Keywords

slim automata, Büchi Automata, GFM-automata, Seminator

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 25. 5. 2021

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

• Obhajoba proběhla 30. 6. 2021
• Vedoucí: doc. RNDr. Jan Strejček, Ph.D.
• Oponent: doc. RNDr. Vojtěch Řehák, Ph.D.

Masarykova univerzita

Fakulta informatiky

Bakalářský studijní program / obor:
Aplikovaná informatika / Aplikovaná informatika