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
Anotácia:
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áčů …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 23. 6. 2009
Identifikátor:
https://is.muni.cz/th/z54av/
Obhajoba závěrečné práce
- Obhajoba proběhla 4. 8. 2009
- Vedúci: prof. RNDr. Antonín Kučera, Ph.D.
- Oponent: prof. RNDr. Petr Jančar, CSc., dr. Kousha Etessami
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 informatikyMasaryk University
Faculty of InformaticsDoctoral programme / odbor:
Informatics (4-years) / Informatics