but.committee	prof. Ing. Tomáš Vojnar, Ph.D. (předseda) doc. Mgr. Adam Rogalewicz, Ph.D. (místopředseda) doc. RNDr. Milan Češka, Ph.D. (člen) doc. Ing. Vladimír Drábek, CSc. (člen) Dr. Ing. Petr Peringer (člen) Ing. Aleš Smrčka, 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: Jak "velké" programy je možné syntetiovat? Jak si představujete potenciálního uživatele Vašeho nástroje (čím se zabývá, k jakému úkolu bude chtít nástroj využít a jak). Jak by šla potenciálně ještě vylepšit výkonnost syntézy? Zkuste přesněji vymezit váš osobní přínos co se týče řešení probému a nástroje. Jaký programovací jazyk jste využil, jaké paradigma?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie a umělá inteligence	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Češka, Milan	en
dc.contributor.author	Stupinský, Šimon	en
dc.contributor.referee	Holík, Lukáš	en
dc.date.accessioned	2021-06-25T07:56:06Z
dc.date.available	2021-06-25T07:56:06Z
dc.date.created	2021	cs
dc.description.abstract	Pravdepodobnostné programy zohrávajú rozhodujúcu úlohu v rôznych technických doménach, ako napríklad počítačové siete, vstavané systémy, stratégie riadenia spotreby energie alebo softvérové produčkné linky. PAYNT je nástroj na automatizovanú syntézu pravdepodobnostných programov vyhovujúcich zadaným špecifikáciam. V tejto práci rozširujeme tento nástroj predovšetkým o podporu optimálnej syntézy a syntézy viacerých špecifikácií. Ďalej sme navrhli a implementovali novú metódu, ktorá dokáže efektívne syntetizovať parametre so spojitým definičným oborom ovplyvňujúce pravdepodobnostné prechody popri syntéze topológie programov, t.j., podporu pre syntézu topológie aj parametrov súčasne. Demonštrujeme užitočnosť a výkonnosť nástroja PAYNT na širokej škále prípadových štúdií z rôznych aplikačných domén ktoré majú uplatnenie v reálnom svete. Pri náročných problémoch syntézy môže PAYNT výrazne znížiť dobu behu až z dní na minúty a zároveň zaistiť úplnosť procesu syntézy.	en
dc.description.abstract	Probabilistic programs play a crucial role in various engineering domains, including computer networks, embedded systems, power management policies, or software product lines. PAYNT is a tool for the automatic synthesis of probabilistic programs satisfying the given specifications. In this thesis, we extend this tool primarily to support optimal synthesis and synthesis for multi-property specifications. Further, we have proposed and implemented a new method that can efficiently synthesise continuous parameters affecting the transition probabilities alongside the synthesis of a program topology, i.e., support of both topology and parameter synthesis at the same time. We demonstrate the usefulness and performance of PAYNT on a wide range of real-world case studies from various application domains. For challenging synthesis problems, PAYNT can significantly decrease the run-time from days to minutes while ensuring the completeness of the synthesis process.	cs
dc.description.mark	A	cs
dc.identifier.citation	STUPINSKÝ, Š. Pokročilé metody pro syntézu pravděpodobnostních programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.	cs
dc.identifier.other	136848	cs
dc.identifier.uri	http://hdl.handle.net/11012/200211
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	automatizovaná syntéza	en
dc.subject	pravdepododnostné programy	en
dc.subject	Markovské modely	en
dc.subject	model checking	en
dc.subject	automated synthesis	cs
dc.subject	probabilistic programs	cs
dc.subject	Markov models	cs
dc.subject	model checking	cs
dc.title	Pokročilé metody pro syntézu pravděpodobnostních programů	en
dc.title.alternative	Advanced Methods for Synthesis of Probabilistic Programs	cs
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2021-06-24	cs
dcterms.modified	2021-09-01-13:10:32	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	136848	en
sync.item.dbtype	ZP	en
sync.item.insts	2021.11.12 22:15:00	en
sync.item.modts	2021.11.12 21:06:11	en
thesis.discipline	Verifikace a testování software	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

Pokročilé metody pro syntézu pravděpodobnostních programů

Files

Original bundle

Collections