but.committee	doc. Ing. Vladimír Janoušek, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) prof. Ing. Jan M. Honzík, CSc. (člen) Ing. Vojtěch Mrázek, Ph.D. (člen) Ing. Jaroslav Rozman, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm B. Otázky u obhajoby: What is the primary source of your benchmarks? I.e., are they practically relevant? How? Or are they random? Why is Rabit so much faster on larger automata? Is it the algorithms themselves or the implementation? Why did you write your thesis in English?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Lengál, Ondřej	en
dc.contributor.author	Odvárka, Daniel	en
dc.contributor.referee	Holík, Lukáš	en
dc.date.created	2022	cs
dc.description.abstract	Tato práce popisuje téma simulací relací nad Büchiho automaty a využití těchto relací simulací. Relace simulací jsou důležité pro snižování stavového prostoru automatů, nebo dále pro kontrolu pod aproximace jazykové inkluze. Dále popisujeme téma paritních her, které je úzce spojeno s výpočtem relací simulací pro některé typy simulací. Podívame se také na různé algoritmy pro řešení relací simulací. Zmíněné algoritmy byly implementovány v jazyce C++ a implementace byla porovnána s nástrojem RABIT. Z experimentů je vidno, že je naše implementace lepší pouze pro menší automaty.	en
dc.description.abstract	This thesis presents the topic of simulation relations over Büchi automata and the use case of various simulations. The simulation relations are important for reducing a state space of an automaton, or checking the under approximation of language inclusion. There are also parity games, which are important for computing some of the simulation types we introduce. We will go over multiple algorithms that compute these simulation relations. The mentioned algorithms are implemented in programming language C++ and are compared to a tool named RABIT. Our implementation is better only for smaller sized automata.	cs
dc.description.mark	B	cs
dc.identifier.citation	ODVÁRKA, D. Knihovna pro výpočet relací simulace na Büchiho automatech [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2022.	cs
dc.identifier.other	145113	cs
dc.identifier.uri	http://hdl.handle.net/11012/207250
dc.language.iso	en	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	konečné automaty	en
dc.subject	Büchiho automaty	en
dc.subject	relace simulací	en
dc.subject	paritní hry	en
dc.subject	redukce automatu	en
dc.subject	finite automata	cs
dc.subject	Büchi automata	cs
dc.subject	simulation relations	cs
dc.subject	parity games	cs
dc.subject	reduction of an automaton	cs
dc.title	Knihovna pro výpočet relací simulace na Büchiho automatech	en
dc.title.alternative	A Library for Computing Simulation Relations over Büchi Automata	cs
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2022-06-13	cs
dcterms.modified	2022-06-20-10:22:58	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	145113	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:40:06	en
sync.item.modts	2025.01.17 12:49:08	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Knihovna pro výpočet relací simulace na Büchiho automatech

Files

Original bundle

Collections