Basic Model Checking Problems for Stochastic Games – RNDr. Václav Brožek, Ph.D.
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áčů …moreAbstract:
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
Identifier:
https://is.muni.cz/th/z54av/
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 informatikyMasaryk University
Faculty of InformaticsDoctoral programme / field:
Informatics (4-years) / Informatics