Mapping the Omega-Automata Jungle – Bc. Tomáš Macháček
Bc. Tomáš Macháček
Bakalářská práce
Mapping the Omega-Automata Jungle
Mapping the Omega-Automata Jungle
Anotace:
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é …víceAbstract:
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 …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 15. 12. 2022
Identifikátor:
https://is.muni.cz/th/apu9o/
Obhajoba závěrečné práce
- Obhajoba proběhla 31. 1. 2023
- Vedoucí: prof. RNDr. Jan Strejček, Ph.D.
- Oponent: Dr. rer. nat. Achim Blumensath
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Informatika
Práce na příbuzné téma
-
Refined Büchi automata for faster model checking
Vojtěch Rujbr -
Basic Model Checking Problems for Stochastic Games
Václav Brožek -
Model Checking of promt-LTL properties
Ondřej Kuzník -
Transformation of Nondeterministic Büchi Automata to Slim Automata
Pavel Šimovec -
Transformation of Nondeterministic Büchi Automata to Tight Automata
Marek Jankola -
Translation of LTL to Semi-Deterministic Automata via Alternating Automata
Michal Románek -
Counter Automata for MTL over Untimed Words
Tereza Kinská -
Simulation-Based Reduction of Modal Omega-Automata
Dávid Smolka