Mgr. Chodil Chodil

Advanced ('rigorózní') thesis

The satisfiability problem for Probabilistic CTL

The satisfiability problem for Probabilistic CTL
Anotácia:
Probabilistic CTL (PCTL) je pravdepodobnostné rozšírenie známej temporálnej logiky vetviaceho času CTL. V PCTL sú existenčné a univerzálne kvantifikátory ciest nahradené pravdepodobnostným kvantifikátorom ciest, čo umožňuje kvantifikáciu nad pravdepodobnosťou ciest spĺňajúcich nejakú formulu ciest. Navrhovaná dizertačná práca je zameraná na štúdium problému splnitelnosti pre PCTL. Problém splnitelnosti …viac
Abstract:
Probabilistic CTL (PCTL) is a probabilistic extension of the well-known temporal branching-time logic CTL. In PCTL, the existential and universal path quantifiers are replaced by a probabilistic path quantifier, which allows it to quantify over probability of paths that satisfy path formulae. The proposed thesis aims to study the satisfiability problem for PCTL. The satisfiability problem for PCTL …viac
 
 
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 24. 2. 2022

Obhajoba závěrečné práce

  • Obhajoba proběhla 26. 5. 2022
  • Oponent: doc. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D., Prof. Nir Piterman

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 informatiky

Masaryk University

Faculty of Informatics

Advanced ('rigorózní řízení') programme / odbor:
Theoretical computer science / Theoretical computer science

Práce na příbuzné téma