Zpět na vyhledávání

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

markovovy rozhodovaci procesy

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

Markovovy rozhodovací procesy s neúplnou informací a omezenými zdroji
 (Michal Ajdarów)

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

• https://is.muni.cz/th/t7d39/ | Informatika / Teoretická informatika | Práce na příbuzné téma

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

Controller Synthesis for Resource-Aware Systems
 (Petr Novotný)

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

• https://is.muni.cz/th/m4fqz/ | Informatika (čtyřleté) / Informatika | Práce na příbuzné téma

Transformation of Nondeterministic Büchi Automata to Slim Automata
 (Pavel Šimovec)

2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/nd15g/ | Aplikovaná informatika / | Práce na příbuzné téma

Efficient Verification of Multi-Objective Queries in Markov Decision Processes
 (Vít Unčovský)

2023, Bakalářská práce, Fakulta informatiky / Masarykova univerzita

• https://is.muni.cz/th/as4mz/ | Informatika / | Práce na příbuzné téma

Basic Model Checking Problems for Stochastic Games
 (Václav Brožek)

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

• https://is.muni.cz/th/z54av/ | Informatika (čtyřleté) / 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