Práce na stejné téma (mají shodná klíčová slova):
Klíčová slova abecedně | Klíčová slova dle četnosti
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 / | 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
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 | Práce na příbuzné téma
Markov Decision Processes with Multiple Resource Constraints
(Jaroslav Pospíšek)2024, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/cko6q/ | Informatika / | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | Práce na příbuzné téma
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 | 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
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 | Práce na příbuzné téma