Theses on a related topic (having the same keywords):
formalni model, reactive system, grafove hry, markovovske rozhodovaci procesy, reaktivni system, markov decision process, algoritmicka teorie her, algorithmic game theory, graph games, formal modelKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Novotný, Petr
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Controller Synthesis for Resource-Aware Systems | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Controller Synthesis for Resource-Aware Systems | Theses on a related topic
2.
Bendel, Martin
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimental Evaluation of Risk-Averse Planners | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Experimental Evaluation of Risk-Averse Planners | Theses on a related topic
3.
Brlej, Šimon
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Synthesizing Resource-Shielded Policies for Partially Observable Markov Decision Processes | Theses on a related topic
4.
Kadlčík, Marek
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Risk-Sensitive Reinforcement Learning | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Risk-Sensitive Reinforcement Learning | Theses on a related topic
5.
Kancko, Tomáš
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reinforcement Learning for the Game of Battleship | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Reinforcement Learning for the Game of Battleship | Theses on a related topic
6.
Kovářík, Michal
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: EU dissuasion strategy against Iranian nuclear programme | Theses on a related topic
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: International Territorial Studies / International Relations
Master's thesis defence: EU dissuasion strategy against Iranian nuclear programme | Theses on a related topic
7.
Meluš, Dávid
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Bioinformatics
Bachelor's thesis defence: Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives | Theses on a related topic
8.
Petrák, Ján
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Navigace bludištěm pomocí prohledávání stromu metodou Monte Carlo | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Navigace bludištěm pomocí prohledávání stromu metodou Monte Carlo | Theses on a related topic
9.
Pospíšek, Jaroslav
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Markov Decision Processes with Multiple Resource Constraints | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Markov Decision Processes with Multiple Resource Constraints | Theses on a related topic
10.
Pšorn Zákopčanová, Kristína
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: On Chaining Divine and Prism Model Checkers | Theses on a related topic
11.
Roch, Oliver
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Multidimenzionální posilované učení | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Multidimenzionální posilované učení | Theses on a related topic
12.
Slámečka, Ondřej
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Monte Carlo Tree Search in Verification of Markov Decision Processes | Theses on a related topic
13.
Stanová, Monika maiden name: Urbanová
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Rozhodovací procesy | Theses on a related topic
Faculty: Faculty of Science
Year: 2012, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Rozhodovací procesy | Theses on a related topic
14.
Svoreňová, Mária
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Control Strategy Synthesis for Path Planning under Temporal Constraints | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Ph.D.
Programme/field: Informatics (4-years) / Informatics
Doctoral thesis defence: Control Strategy Synthesis for Path Planning under Temporal Constraints | Theses on a related topic
15.
Unčovský, Vít
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Efficient Verification of Multi-Objective Queries in Markov Decision Processes | Theses on a related topic