but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) prof. RNDr. Alexandr Meduna, CSc. (místopředseda) doc. Mgr. Jaroslav Hrdina, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) RNDr. Marek Rychlý, Ph.D. (člen) doc. Ing. František Zbořil, 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 A. Otázky u obhajoby: Můžete krátce shrnout, jakým způsobem bylo potřeba modifikovat algoritmus IIC pro to, aby uměl efektivně řešit problém prázdnosti alternujících automatů?	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Holík, Lukáš	cs
dc.contributor.author	Vargovčík, Pavol	cs
dc.contributor.referee	Lengál, Ondřej	cs
dc.date.accessioned	2019-04-04T04:08:37Z
dc.date.available	2019-04-04T04:08:37Z
dc.date.created	2018	cs
dc.description.abstract	V tejto práci navrhujeme špecializáciu algoritmu inductive incremental coverability, ktorá rieši problém prázdnosti alternujúcich konečných automatov. Experimentujeme s rôznymi návrhovými rozhodnutiami, analyzujeme ich a dokazujeme ich korektnosť. Aj keď je známe, že problém je sám o sebe PSpace-ťažký, zameriavame sa na to, aby bolo rozhodovanie prázdnosti výpočetne prijateľné v niektorých triedach automatov s praktickým využitím. Dosiahli sme niekoľko zaujímavýcch výsledkov v porovnaní so špičkovými algoritmami, predovšetkým v porovnaní s algoritmami založenými na protireťazcoch.	cs
dc.description.abstract	In this work, we propose a specialization of the inductive incremental coverability algorithm that solves alternating finite automata emptiness problem. We experiment with various design decisions, analyze them and prove their correctness. Even though the problem itself is PSpace-complete, we are focusing on making the decision of emptiness computationally feasible for some practical classes of applications. We have obtained interesting comparative results against state-of-the-art algorithms, especially in comparison with antichain-based algorithms.	en
dc.description.mark	A	cs
dc.identifier.citation	VARGOVČÍK, P. Inkrementální induktivní pokrytelnost pro alternující konečné automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2018.	cs
dc.identifier.other	114557	cs
dc.identifier.uri	http://hdl.handle.net/11012/84996
dc.language.iso	cs	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	alternujúci konečný automat	cs
dc.subject	inkrementálna induktívna pokryteľnosť	cs
dc.subject	dobre štrukturovaný systém	cs
dc.subject	prázdnosť	cs
dc.subject	formálna verifikácia	cs
dc.subject	alternating finite automaton	en
dc.subject	incremental inductive coverability	en
dc.subject	well-structured transition system	en
dc.subject	emptiness	en
dc.subject	formal verification	en
dc.title	Inkrementální induktivní pokrytelnost pro alternující konečné automaty	cs
dc.title.alternative	Incremental Inductive Coverability for Alternating Finite Automata	en
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2018-06-15	cs
dcterms.modified	2020-05-10-16:12:48	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114557	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.22 23:09:45	en
sync.item.modts	2021.11.22 22:18:59	en
thesis.discipline	Matematické metody v informačních technologiích	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Inkrementální induktivní pokrytelnost pro alternující konečné automaty

Files

Original bundle

Collections