Formal Verification of Finite-State Stochastic Systems – Mgr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
Mgr. Vojtěch Forejt, Ph.D., LL.B. (Hons)
Advanced ('rigorózní') thesis
Formal Verification of Finite-State Stochastic Systems
Formal Verification of Finite-State Stochastic Systems
Abstract:
Teze obsahují výsledky z oblasti konečných pravděpodobnostních her dvou a půl hráčů. Tyto hry slouží k modelování systémů, ve kterých je přesné chování nejisté a může být zadáno pouze pomocí pravděpodobnostmi přechodů mezi jednotlivými stavy. Teze se zaměřují především na druh her, ve kterých je vítězná podmínka zadána pomocí formule logiky větvícího se času. Studovaným problémem je rozhodnout, zda …moreAbstract:
We consider finite stochastic turn-based games of two and half players. These games can be used to model systems in which the exact behaviour is unknown or uncertain and can be expressed only by introducing probabilities of transitions among states. We study a subclass of games in which a winning objective is specified by formula of a branching time logic. The problem is to decide if a player can play …more
Language used: English
Date on which the thesis was submitted / produced: 29. 5. 2008
Identifier:
https://is.muni.cz/th/csgy6/
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
-
Verification of probabilistic systems against quantified linear properties
Jana Tůmová -
Verification of Probabilistic Recursive Sequential Programs
Tomáš Brázdil -
Quantitative Probabilistic Verification in Distributed Environment
Jiří Appl -
Verification of Probabilistic Recursive Sequential Programs
Tomáš Brázdil -
Parallel Quantitative Analysis of Probabilistic Systems
Milan Češka