Práce na stejné téma (mají shodná klíčová slova):
algoritmická teorie herKlíčová slova abecedně | Klíčová slova dle četnosti
Algoritmická analýza bezpečnostních her
(Tomáš Lamser)2016, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qmxvj/ | Informatika / Matematická 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
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
Vacant taxi routing in Markov Decision Process (MDP)
(Nurbulat Shektbayev)2023, Diplomová práce, Provozně ekonomická fakulta / Česká zemědělská univerzita v Praze
• http://theses.cz/id//ubxjky// | Systems Engineering and Informatics / Informatics | 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
Modeling and Verification of Infinite-State Reactive Systems
(Petr Novotný)2012, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/kc7zm/ | Informatika / | Práce na příbuzné téma
Quantitative Linear-Time Model Checking
(Jana Tůmová)2010, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/foeea/ | Informatika / | Práce na příbuzné téma
Toward an Automated Feedback System in Educational Cybersecurity Games
(Valdemar Švábenský)2019, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/ckc8w/ | Informatika / | Práce na příbuzné téma
Extending Model-Based Projection with Invertibility Conditions
(Tomáš Macháček)2024, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hq5tp/ | Teoretická informatika / Formální analýza počítačových systémů | Práce na příbuzné téma