Informační systém Masarykovy univerzity 

Archiv závěrečné práce Tomáš Laurinčík FI N-IN TEI

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

magisterský studijní program/obor:
Informatika/Teoretická informatika

Bc. Tomáš Laurinčík

Logiky pro popis vlastností stochastických her

Logics for stochastic games

Anotace: V práci sú skúmané logiky pre popis vlastností stochastických hier. Najskôr sú zjednotené reprezentácie hier z týchto logík a zavedený pojem konkurentnej stochastickej hry. Následne sú popísané hlavné myšlienky pre operátory týchto logík, je popísaná ich sémantika a vzájomné vzťahy. V poslednej časti práce sú definované konkrétne logiky. Je uvedená ich vyjadrovacia sila, zložitosť problému overenia modelu a splniteľnosti formuly.

Abstract: This work studies logics used to describe properties of stochastic games. First, the unified representation of the games used for these logics is described and the concept of concurrent stochastic game is introduced. Subsequently, the main ideas of operators for these logics, their semantics and relations are described. The last part of the work examines logics by themselves, their expressiveness, complexity of model checking and satisfiability.

logika stochastická hra pravdepodobnosť konkurentná stochastická hra

Zadání: Cílem práce je podat přehled existujících logik, které umožňují formálně popsat vlastnosti stochastických her, a provést jejich srovnání z hlediska jejich vyjadřovací síly a algoritmické rozhodnutelnosti/složitosti problému automatického ověření platnosti formulí těchto logik v různých třídách stochastických her.

Jazyk práce: slovenština

  • Zadáno/změněno 2. 7. 2009 15:49, Eva Drštková
  • Záznam založen 23. 4. 2009 10:40, Jana Zemanová
  • Zveřejnit od 25. 5. 2009 13:12, Jana Zemanová
  • Práce převzata 25. 5. 2009 13:12, Jana Zemanová

Obhajoba diplomové práce

  • Proběhla 2. 7. 2009, práce byla úspěšně obhájena.

Vedoucí:

  • prof. RNDr. Antonín Kučera, Ph.D., KTP FI MU

Oponent:

Plný text práce
  • Text práce Text práce Text práce (IS automaticky), Mgr. Tomáš Laurinčík (abs FI MU)

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX | Wikipedie

Kontrola závěrečné práce

Práce zkontrolována: 15. 6. 2009 08:38, prof. RNDr. Antonín Kučera, Ph.D.


Náhledy k zobrazení: 1-1. Zobrazit složku jako galerii
Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.Tato složka.  Archiv závěrečné práce Tomáš Laurinčík FI N-IN TEI /fi_m/Laurinčík, T.25.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation_english.txt, 449 B, holý textAnotace anglicky annotation_english.txtLaurinčík, T.25.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor annotation.txt, 433 B, holý textAnotace česky annotation.txtLaurinčík, T.25.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor keywords.txt, 71 B, holý textKlíčová slova keywords.txtLaurinčík, T.25.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor posudek_oponenta.pdf, 46,2 KB, PDF Soubor posudek_oponenta.txt, 2 KB, holý textposudek_oponenta.pdfObdržálek, J.24.  6. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.posudek_vedouciho.jpgDvořáčková, H.25.  6. 2009
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Soubor diplomka-fi.pdf, 419,7 KB, PDF Soubor diplomka-fi.txt, 81,5 KB, holý textText práce diplomka-fi.pdfLaurinčík, T.25.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 22. 9. 2017 02:49, 38. (sudý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Použití cookies | Více o Informačním systému