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
Anotácia:
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 …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 25. 5. 2009
Identifikátor:
https://is.muni.cz/th/tchsl/
Obhajoba závěrečné práce
- Obhajoba proběhla 2. 7. 2009
- Vedúci: doc. RNDr. Tomáš Brázdil, Ph.D.
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
Citační záznam
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 InformaticsMaster programme / odbor:
Informatics / Parallel and Distributed Systems
Práce na příbuzné téma
-
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