Zpět na vyhledávání

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

markovovy procesy

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

« 1 2 » (celkem 11 prací)
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

Markovovy řetězce a procesy
 (Barbora Sejkorová)

2016, Bakalářská práce, Přírodovědecká fakulta / Univerzita Hradec Králové

http://evskp.uhk.cz/eB8876 | Aplikovaná matematika / Finanční a pojistná matematika | Práce na příbuzné téma

Balíček "pomp" v jazyce R pro statistický odhad na částečně pozorovaných Markovových procesech
 (Eva Kopřivová)

2024, Bakalářská práce, Přírodovědecká fakulta / Masarykova univerzita

https://is.muni.cz/th/e2jqc/ | Matematika / Modelování a výpočty | Práce na příbuzné téma

Modelování spolehlivosti systémů pomocí pseudomarkovských procesů
 (Jan Petrásek)

2017, Diplomová práce, Fakulta metalurgie a materiálového inženýrství / VŠB - Technická univerzita Ostrava

http://hdl.handle.net/10084/119399 | Ekonomika a řízení průmyslových systémů / Automatizace a počítačová technika v průmyslových technologiích | Práce na příbuzné téma

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

Formal Analysis of Stochastic Discrete Event Systems
 (Jan Krčál)

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

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

« 1 2 » (celkem 11 prací)