Fundamental Properties of Probabilistic Branching-Time Logics – Bc. Jan Křetínský, Ph.D.
Bc. Jan Křetínský, Ph.D.
Master's thesis
Fundamental Properties of Probabilistic Branching-Time Logics
Fundamental Properties of Probabilistic Branching-Time Logics
Abstract:
Tato diplomová práce zkoumá pravděpodobnostní logiky větvícího se času, zejména qPCTL a qPCTL*. Soustředíme se na problém splnitelnosti a na existenci axiomatických systémů pro dané logiky. Práce je zčásti založena na spoluautorském článku The satisfiability problem for probabilistic CTL přijatého na konferenci LICS 2008.Abstract:
This thesis investigates probabilistic branching-time logics, particularly qPCTL and qPCTL*, that arise from CTL and CTL*, respectively, by replacing the $\textsc{EX}$, $\textsc{AX}$, $\textsc{EU}$ and $\textsc{AU}$ operators with their qualitative counterparts $\X^{>0}$, $\X^{=1}$, $\U^{>0}$ and $\U^{=1}$, respectively. We focus on their fundamental properties, such as decidability and complexity …more
Language used: English
Date on which the thesis was submitted / produced: 25. 5. 2009
Identifier:
https://is.muni.cz/th/tchsl/
Thesis defence
- Date of defence: 2. 7. 2009
- Supervisor: doc. RNDr. Tomáš Brázdil, Ph.D.
- Reader: doc. Mgr. Jan Obdržálek, PhD.
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 InformaticsMaster programme / field:
Informatics / Parallel and Distributed Systems
Theses on a related topic
-
The satisfiability problem for Probabilistic CTL
Chodil Chodil -
Verification of Probabilistic Recursive Sequential Programs
Tomáš Brázdil -
Problém splnitelnosti pro pravděpodobnostní temporální logiky
Miroslav Chodil