Zpět na vyhledávání

Bc. Tomáš Laurinčík

Diplomová práce

Logiky pro popis vlastností stochastických her

Logics for stochastic games
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, …více
Abstract:
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 …více
 

Klíčová slova

logika stochastická hra pravdepodobnosť konkurentná stochastická hra
 
Jazyk práce: slovenština
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor: https://is.muni.cz/th/g3u4x/

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

  • Obhajoba proběhla 2. 7. 2009
  • Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
  • Oponent: doc. Mgr. Jan Obdržálek, PhD.

Citační záznam

Citovat tuto práci

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky
Složka Odkaz na adresář do lokálního úložiště instituce