Jakub Velkoborský
Bakalářská práce
Algorithms for Parity Games
Algorithms for Parity Games
Anotace:
Hlavníım obsahem práce je implementace aplikace zvané Scala Parity Game Solver. Jde o soubor nástrojů určených k řešení paritních her a k experimentálním porovnání tyto hry řešících algoritmů. Práce také poskytuje úvod do problematiky paritních her. Následně je podrobně vysvětlen návrh a některé části implementace. Poté je měřena rychlost aplikace a jsou srovnány implementované algoritmy. Výsledná …víceAbstract:
The central point of this thesis is the implementation of the Scala Parity Game Solver a collection of tools for solving parity games and experimental comparison of parity games solving algorithms. The thesis also provides basic introduction to the problematics of solving parity games. Next, the design of the suite is analyzed in detail. After that, the suite is benchmarked and implemented solvers …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 7. 5. 2010
Identifikátor:
http://hdl.handle.net/10084/87400
Obhajoba závěrečné práce
- Obhajoba proběhla 31. 5. 2011
- Vedoucí: Zdeněk Sawa
- Oponent: Petr Jančar
Citační záznam
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyBakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Nekonečné hry
Marek ŠURANSKÝ -
Modeling and Verification of Infinite-State Reactive Systems
Petr Novotný -
Algorithmic Asymptotic Analysis of Infinite-Sate Systems
Michal Ajdarów -
Transformace brněnského kina Scala: Scala jako kino, Scala jako prostor
Alena Vítková -
Instituce pod správou Filozofické fakulty Masarykovy univerzity: knihovna Na Křižovatce a kino Scala
Jiří Chromý -
Analýza marketingové komunikace v souvislosti s uvedením modelu Škoda Scala na český trh
Johana Del Maschiová -
Porovnání marketingové komunikace vozů Scala a Kamiq
Jan Beneš -
Marketingová strategie a marketingový mix pro kino Scala
Lenka Vlčková