Zpět na vyhledávání

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

Controller-synthesis

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

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

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

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

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