Zpět na vyhledávání

Bc. Tomáš Macháček

Bachelor's thesis

Mapping the Omega-Automata Jungle

Mapping the Omega-Automata Jungle
Abstract:
Automaty na nekonečných slovech byly zavedeny před 60 lety. V průběhu let se staly klíčovou součástí oblastí, jako jsou formální verifikace, syntéza modelů a oblasti formálních metod obecne. Spolu s novými případy použití bylo představeno mnoho nových typů Büchiho automatů. Cílem této práce je shromáždit definice různých typů Büchiho automatů, kategorizovat tyto typy do hierarchie a uvést pro ně známé …more
Abstract:
Automata on infinite words were introduced 60 years ago. Over the years they became a key part of areas like formal verification, model synthesis and formal methods in general. Along with new use cases, many new types of Büchi automata were introduced. The focus of this thesis is to collect definitions of various Büchi automata types, categorize these types into hierarchy, and list typical use cases …more
 

Keywords

Büchi automata ω-automata Büchi automata hierarchy model checking
 
Language used: English
Date on which the thesis was submitted / produced: 15. 12. 2022
Identifier: https://is.muni.cz/th/apu9o/

Thesis defence

  • Date of defence: 31. 1. 2023
  • Supervisor: prof. RNDr. Jan Strejček, Ph.D.
  • Reader: Dr. rer. nat. Achim Blumensath

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:
Informatics / Informatics

Theses on a related topic

List of theses with an identical keyword.