Práce na stejné téma (mají shodná klíčová slova):

pctl

Klíčová slova abecedně | Klíčová slova dle četnosti

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 | Práce na příbuzné téma

Seznam prací, které mají shodná klíčová slova.

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 / | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 / | Práce na příbuzné téma

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 / | Práce na příbuzné téma

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 / | Práce na příbuzné téma

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 / | Práce na příbuzné téma

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 / | Práce na příbuzné téma

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 | Práce na příbuzné téma

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 / | Práce na příbuzné téma