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
Anotácia:
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 …viacAbstract:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 17. 6. 2008
Identifikátor:
https://is.muni.cz/th/gg6sx/
Obhajoba závěrečné práce
- Obhajoba proběhla 23. 6. 2008
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 InformaticsAdvanced ('rigorózní řízení') programme / odbor:
Informatics / Informatics
Práce na příbuzné téma
-
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