Bachelor's thesis

Transformation of Nondeterministic Büchi Automata to Slim Automata

Pavel Šimovec, UČO 468914
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é 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
Thesis description
Cílem práce je nastudovat, popsat a implementovat transformaci nedeterministických Büchiho automatů na ekvivalentní slim automaty, které jsou vhodné pro kvantitativní analýzu pravděpodobnostních systémů. Algoritmus i jeho implementace budou rozšířeny i na generalizované Büchiho automaty. Výsledná implementace bude součástí nástroje Seminator. Součástí práce bude experimentální porovnání automatů vhodných pro analýzu pravděpodobnostních systémů produkovaných nástroji ePMC, ltl2ldba (z knihovny Owl), ltl3tela a Seminator.
Administrative information
The thesis has been checked:
27/5/2021 12:36, prof. RNDr. Jan Strejček, Ph.D., UČO 3366
Full text of thesis
315,4 KB / file PDF
Attachments (3)
Language used
English English
Defence date
30/6/2021
The thesis was defended successfully

Supervisor

prof. RNDr. Jan Strejček, Ph.D., UČO 3366
KTP FI MU

Reader

doc. RNDr. Vojtěch Řehák, Ph.D., UČO 3721
KTP FI MU

Consultant

RNDr. František Blahoudek, Ph.D.
abs FI MU
Cite this text
Masaryk University Faculty of Informatics
Programme
Applied Informatics
Field of Study

Theses on a related topic

List of theses with an identical keyword.

Similar documents

  • Přidání souboru

    Soubor nebo složku lze nahrát pomocí tlačítka Přidat.

  • Další operace se soubory

    Podrobnosti lze zjistit označením příslušného řádku.

  • Pohled pro experty

    Pro častou práci je možné zvolit režim Více možností.

  • Vyhledávání souborů

    Vyhledávaný výraz můžete zadat přímo do adresního řádku.

  • Rychlý přístup k souborům

    Pomocí funkce Nedávné je možné se rychle vrátit k právě prohlíženým souborům. Oblíbené soubory je také možné označit Hvězdičkou.