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

Doctoral thesis

Basic Model Checking Problems for Stochastic Games

Basic Model Checking Problems for Stochastic Games
Abstract:
Tato práce se zabývá stochastickými tahovými hrami na nekonečných grafech s lineárními výherními podmínkami. Stochastické hry jsou zásadním modelem pro systémy se třemi režimy chování: s náhodnými změnami stavu, nedeterministickými změnami ovládanými operátorem a nedeterministickými změnami způsobenými prostředím. Nedeterministické chování je modelováno pomocí dvou hráčů. Vynecháním jednoho z hráčů …more
Abstract:
This thesis concerns stochastic turn based games over infinite graphs with linear objectives. Stochastic games are a fundamental model for systems where three modes of behaviour appear: random changes of the state, nondeterministic changes driven by some controller and nondeterministic changes made by en environment. The nondeterminism is modelled by two players. By eliminating one of the players we …more
 
 
Language used: English
Date on which the thesis was submitted / produced: 23. 6. 2009

Thesis defence

  • Date of defence: 4. 8. 2009
  • Supervisor: prof. RNDr. Antonín Kučera, Ph.D.
  • Reader: prof. RNDr. Petr Jančar, CSc., dr. Kousha Etessami

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

Doctoral programme / field:
Informatics (4-years) / Informatics