Theses on a related topic (having the same keywords):

optimal strategy, deductive games, mastermind, sat solving, code-breaking games, strategy synthesis, model counting, counterfeit coin

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Abaffy, Matúš
Faculty: Faculty of Informatics
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Složitost řešení patrolovacích her na orientovaných grafech | Theses on a related topic Display description

2.
Ihnatovych, Volodymyr
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Opakované vězňovo dilema s diskontováním | Theses on a related topic

3.
Jandušík, Richard
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Boolean Satisfiability Procedure Combining CDCL and Binary Decision Diagrams | Theses on a related topic

4.
Jankola, Marek
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Formal analysis of computer systems
Master's thesis defence: Tight Omega-Automata | Theses on a related topic

5.
Klaška, David
Faculty: Faculty of Informatics
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Optimalizační metody pro řešení patrolovacích her | Theses on a related topic

6.
Kotala, Pavel
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Truel | Theses on a related topic

7.
Lamser, Tomáš
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: Algoritmická analýza bezpečnostních her | Theses on a related topic

8.
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