Theses on the same topic (having an identical keyword):
model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Verification of probabilistic systems against quantified linear properties
(Jana Tůmová)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/jjupx/ | Informatika / | 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
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
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
Transformation of Nondeterministic Büchi Automata to Tight Automata
(Marek Jankola)2021, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/o0p4b/ | Informatika / Matematická 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