Transformation of Nondeterministic Büchi Automata to Slim Automata – Bc. Pavel Šimovec
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é …moreAbstract:
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
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
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 informatikyMasaryk University
Faculty of InformaticsBachelor programme / field:
Applied Informatics / Applied Informatics
Theses on a related topic
- No theses on a related topic available.