Mgr. Václav Brožek, Ph.D.

Advanced ('rigorózní') thesis

Basic model-checking problems for stochastic games

Basic model-checking problems for stochastic games
Abstract:
Studium stochastických her 1 1/2 a 2 1/2 hráče je motivováno potřebou modelovat systémy zahrnující jak prvek nejistoty, tak nedeterminismus. Příkladem jsou ovladatelné systémy nebo systémy nepředpověditelně ovlivňované prostředím. Navíc kdykoli se v systému objeví nějaká rekursivní závislost, je potřeba mít model s nekonečným stavovým prostorem. Stochastické hry na přechodovém grafu zásodbníkových …more
Abstract:
The study of stochastic 1 1/2- and 2 1/2-player games is motivated by the need for models of systems involving uncertainty as well as nondeterminism. Systems with controller or systems interacting with an unpredictable environment are examples of such systems. Moreover whenever a kind of recursion appears in the system, an infinite-state model is needed. Stochastic games played over the transition …more
 
 
Language used: English
Date on which the thesis was submitted / produced: 17. 6. 2008

Thesis defence

  • Date of defence: 23. 6. 2008

Citation record

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

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / field:
Informatics / Informatics

Theses on a related topic