FREJLACH, J. Využití protipříkladů v syntéze kontrolerů pro POMDP [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2023.
Vzhledem k obtížnějšímu zadání výzkumného charakteru, dosaženým výsledkům, které vedly k lepšímu pochopení dané problematiky, a poměrně kvalitní úrovni prezentace, navrhuji hodnotit tuto DP známkou B. Známku A nenavrhuji zejména kvůli místy problematičtější aktivitě studenta a pomalému postupu.
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Informace k zadání | Jedná se o náročnější zadaní s výzkumným potenciálem, které vyžadovalo nastudování pokročilých technik z oblasti formálních metod pro pravděpodobnostní systémy. Ačkoliv zadání mělo větší ambice než dosažené výsledky, mohu konstatovat, že všechny body zadání byly splněny a celkově jsem s dosaženými výsledky spokojen. | ||
| Práce s literaturou | Práci s literaturou považuji za mírně nadprůměrnou. Student dobře využil doporučenou literaturu, ale neprovedl rozsáhlejší rešerši souvisejících publikací | ||
| Aktivita během řešení, konzultace, komunikace | Aktivita studenta během práce na DP byla poměrně kolísává: V některých fázích student pracoval velice aktivně, dodržoval dohodnuté termíny a dostatečně konzultoval svůj postup. Na druhou stranu byla období, kdy student nebyl aktivní poměrně dlouho dobu – v některých případech to ale bylo dáno objektivními zdravotními důvody. Oceňuji, že student se primárně snažil pracovat samostatně i když byl postup v některých fázích velice pomalý. | ||
| Aktivita při dokončování | Dokončování bylo velmi hektické a na poslední chvíli a to jak z objektivních zdravotních důvodů tak i z podcenění časové náročnosti a horší organizace práce. Realizační a experimentální část byla nakonec dotažena do kvalitní podoby, ale na sepsání textové části zbylo velice málo času. Tudíž jsem neměl příliš prostoru konzultovat klíčové části DP. Přesto můžu konstatovat, že předložený text je dobře logicky strukturován a celková kvalita prezentace DP je na dobré úrovni – nutno dodat, že k některým částem mám obsahové připomínky, které už se nestihly zapracovat. | ||
| Publikační činnost, ocenění | Dle mého názoru zatím dosažené výsledky nejsou dostatečně silné k přípravě publikace, ale rozhodně zásadně pomohly k lepšímu pochopení dané problematiky. Očekávám, že v rámci naší výzkumné skupiny na tuto DP navážeme a podaří se nám výsledky dotáhnout do publikovatelné podoby. |
Práca sa zaoberá rozšírením nástroja PAYNT o nové metódy generovania protipríkladov pri syntéze FSC pre POMDP. Študent si musel naštudovať existujúce riešenia a navrhnúť a naimplementovať tieto nové metódy. V rámci práce boli navrhnuté dve metódy: jedna využivajúca už existujúci nástroj SWITSS a druhá, ktorá používa MDP na reprezentáciu protipríkladov. Tieto metódy boli experimentálne porovnané s už existujúcim riešením a bolo ukázané, že druhá zo spomenutých metód má potenciál na zlepšenie nástroja PAYNT pri syntéze. I keď si myslím, že tieto výsledky sú zaújimavé, vzhľadom na nedostatky textu práce navrhujem známku B .
| Kritérium | Známka | Body | Slovní hodnocení |
|---|---|---|---|
| Náročnost zadání | Zadanie považujem za náročnejšie. Práca vyžadovala naštudovanie pokročilej teórie okolo syntézy pravdepodobnostných programov a existujúcich metód riešiacich tento problém. | ||
| Rozsah splnění požadavků zadání | |||
| Rozsah technické zprávy | |||
| Prezentační úroveň technické zprávy | 75 | K prezentačnej úrovni práce mám určité výhrady. Štruktúra práce by mohla byť na lepšej úrovni, nadväznosť kapitol niekedy nedával úplne zmysel. Niektoré časti sú nedostatočne vysvetlené, napríklad sekcia, kde sú definované tzv. partially observable Markov decision processes (POMDP), mi nedávala úplne zmysel. Taktiež nebolo úplne pochopiteľné ako sa syntetizujú tzv. finite-state controllers (FSC) a ich spojitosť s použitím protipríkladov, ktoré študent generuje. Keďže študentov výsledok má byť použitý pri syntéze FSC pre POMDP, očakával by som, že popis týchto vecí bude detailnejší. Čo oceňujem, je množstvo príkladov a obrázkov, na ktorých sú definované pojmy vysvetlené. | |
| Formální úprava technické zprávy | 70 | Práca je napísaná v angličtine a je zrejmé, že niektoré kapitoly boli napísané v časovom zhone. Často obsahuje vety, ktoré nedávajú zmysel, sú príliš zložité, chýba im prísudok a pod. Typograficky je správa na dobrej úrovni. | |
| Práce s literaturou | 90 | V práci sú využité a vhodne citované relevantné vedecké články. Prevzaté prvky sú riadne odlíšené od vlastných výsledkov. | |
| Realizační výstup | 90 | Realizačným výstupom tejto práce je rozšírenie existujúceho nástroja PAYNT o generovanie protipríkladov v rámci CEGIS cyklu s použitím nástroja SWITSS a vlastnou reprezentáciou protipríkladov pomocou MDP. Použitie tohto rozšírenia je riadne zdokumentované, jeho funkčnosť mi bola predvedená študentom. | |
| Využitelnost výsledků | Práca rozširuje metódy generovania protipríkladov v rámci CEGIS cyklu pre syntézu FSC pre POMDP. Experimentálne výsledky ukazujú, že tieto nové metódy by mohli mať zmysel a dali by sa využiť v nástroji PAYNT. |
eVSKP id 147446