Basic model-checking problems for stochastic games – Mgr. Václav Brožek, Ph.D.
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 …moreAbstract:
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
Identifier:
https://is.muni.cz/th/gg6sx/
Thesis defence
- Date of defence: 23. 6. 2008
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 InformaticsAdvanced ('rigorózní řízení') programme / field:
Informatics / Informatics
Theses on a related topic
-
Basic Model Checking Problems for Stochastic Games
Václav Brožek -
Decidability and complexity of infinite-state stochastic games
Václav Brožek -
Basic Model Checking Problems for Stochastic Games
Václav Brožek