Theses on the same topic (having an identical keyword):
stochastic processesKeywords ordered alphabetically | Keywords ordered by occurrence rate
Synthesis of Minimal Schedulers for Markov Decision Processes
(Miroslav Klimoš)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/isl54/ | Informatika / Matematická informatika | Theses on a related topic
Parameter Synthesis in Continuous-Time Stochastic Systems
(Ľuboš Korenčiak)2017, Disertační práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zaes9/ | Informatika (čtyřleté) / Informatika | Theses on a related topic
Pareto Front Estimation in Risk-Constrained Markov Decision Processes
(Martin Kurečka)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mcgrs/ | Teoretická informatika / Diskrétní algoritmy a modely | Theses on a related topic
Reinforcement Learning of Risk-Averse Policies in Markov Decision Processes
(Jiří Vahala)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/gv8zz/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | Theses on a related topic
Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes
(Šimon Brlej)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hvby2/ | Informatika / Umělá inteligence a zpracování přirozeného jazyka | 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
Monte Carlo Tree Search in Verification of Markov Decision Processes
(Ondřej Slámečka)2017, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/axlhf/ | Informatika / Teoretická informatika | Theses on a related topic
Unified View on Multiple Mean-Payoff Objectives in Markov Decision Processes
(Zuzana Komárková)2015, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/danob/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Synthesis of Minimal Schedulers for Markov Decision Processes
(Miroslav Klimoš)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/isl54/ | Informatika / Matematická informatika | Theses on a related topic
Synthesis of Minimal Schedulers for Markov Decision Processes
(Miroslav Klimoš)2012, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/isl54/ | Informatika / Matematická informatika | Theses on a related topic