Theses on the same topic (having an identical keyword):
markovovy procesyKeywords ordered alphabetically | Keywords ordered by occurrence rate
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 | Theses on a related topic
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 / | Theses on a related topic
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 / | Theses on a related topic
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 | 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
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 / | Theses on a related topic