Theses on the same topic (having an identical keyword):

pctl

Keywords ordered alphabetically | Keywords ordered by occurrence rate

Problém splnitelnosti pro pravděpodobnostní temporální logiky
 (Miroslav Chodil)

2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/zn1az/ | Informatika / Teoretická informatika | Theses on a related topic

List of theses with an identical keyword.

The satisfiability problem for Probabilistic CTL
 (Chodil Chodil)

2022, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/flkcr/ | Teoretická informatika / | Theses on a related topic

Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
 (Vojtěch Forejt)

2009, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/yvwbl/ | Informatika (čtyřleté) / Informatika | Theses on a related topic

Decidability and complexity of finite-state stochastic games
 (Vojtěch Forejt)

2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/ottrb/ | Informatika / | Theses on a related topic

Verification of Probabilistic Recursive Sequential Programs
 (Tomáš Brázdil)

2007, Disertační práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/pxz9s/ | Informatika / | Theses on a related topic

Verification of probabilistic systems against quantified linear properties
 (Jana Tůmová)

2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/jjupx/ | Informatika / | Theses on a related topic

Decidability and complexity of infinite-state stochastic games
 (Václav Brožek)

2007, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/jsiqw/ | Informatika / | Theses on a related topic

Basic model-checking problems for stochastic games
 (Václav Brožek)

2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/gg6sx/ | Informatika / | Theses on a related topic

Fundamental Properties of Probabilistic Branching-Time Logics
 (Jan Křetínský)

2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/tchsl/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic

Formal Verification of Finite-State Stochastic Systems
 (Vojtěch Forejt)

2008, Rigorózní práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/csgy6/ | Informatika / | Theses on a related topic