Problém splnitelnosti pro pravděpodobnostní temporální logiky – Bc. Miroslav Chodil
Bc. Miroslav Chodil
Diplomová práce
Problém splnitelnosti pro pravděpodobnostní temporální logiky
The satisfiability problem for probabilistic temporal logics
Anotace:
Táto práca sa zaoberá problémom splnitelnosti pre pravdepodobnostnú logiku PCTL. PCTL je populárny formalizmus pre špecifikáciu vlastností stochastických systémov. Problém splnitelnosti pre PCTL je dlhodobo otvorený problém zaujímavý z teoretickej stránky, jeho riešenie by ale malo aj praktické využitie, ako napríklad overovanie konzistencie špecifikácií. Najprv práca podáva prehľad známych výsledkov …víceAbstract:
In this thesis, we study the satisfiability problem for PCTL. PCTL is a popular formalism for specifying properties of stochastic systems. The satisfiability problem for PCTL is a longstanding open problem interesting from a theoretical perspective, although its solution would also have various practical applications, such as consistency checking for specifications. We give an overview of known results …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 20. 5. 2019
Identifikátor:
https://is.muni.cz/th/zn1az/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2019
- Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
- Oponent: doc. RNDr. Tomáš Brázdil, Ph.D.
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Teoretická informatika
Práce na příbuzné téma
-
Verification of Probabilistic Recursive Sequential Programs
Tomáš Brázdil -
Verification of Probabilistic Recursive Sequential Programs
Tomáš Brázdil -
The satisfiability problem for Probabilistic CTL
Chodil Chodil -
Fundamental Properties of Probabilistic Branching-Time Logics
Jan Křetínský -
The satisfiability problem for Probabilistic CTL
Chodil Chodil