Zpět na vyhledávání

Bc. Tomáš Laurinčík

Master's thesis

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, …more
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 …more
 

Keywords

logika stochastická hra pravdepodobnosť konkurentná stochastická hra
 
Language used: Slovak
Date on which the thesis was submitted / produced: 25. 5. 2009
Identifier: https://is.muni.cz/th/g3u4x/

Thesis defence

  • Date of defence: 2. 7. 2009
  • Supervisor: prof. RNDr. Antonín Kučera, Ph.D.
  • Reader: doc. Mgr. Jan Obdržálek, PhD.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution