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

b\"uchi automata, probability, pctl, controller-synthesis, game theory

Keywords ordered alphabetically | Keywords ordered by occurrence rate

1.
Abaffy, Michal
Faculty: Faculty of Informatics
Year: 2013, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Patrolovací hry na grafech | Theses on a related topic Display description

2.
Vyvialová, Jana
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Civics, Lower Secondary School Teacher Training in Mathematics
Master's thesis defence: Matematika ve světě kolem nás | Theses on a related topic

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

4.
Antol, Matej
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Combinatorial games | Theses on a related topic

5.
Bajaník, Samuel
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Ing.
Programme/field: Quantitative Methods in Economy / Mathematical and Statistical Methods in Economics
Master's thesis defence: Efektivnost leniency programu | Theses on a related topic

6.
Bartoňková, Michaela
Faculty: Faculty of Science
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Upper Secondary School Teacher Training in Biology / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Biology
Master's thesis defence: Matematika v biologii | Theses on a related topic

7.
Benková, Jana
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Statistické řízení kvality | Theses on a related topic

8.
Bil, Jaroslav
Faculty: Faculty of Science
Year: 2008, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Modely trhu v teorii her | Theses on a related topic

9.
Blažková, Markéta
Faculty: Faculty of Economics and Administration
Year: 2023, studies completed, degree conferred: Bc.
Programme/field: Economics / Economics
Bachelor's thesis defence: Spolupráce a riziko ve vězňově dilematu | Theses on a related topic

10.
Borkovec, Miroslav
Faculty: Faculty of Science
Year: 2004, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Mathematics - Economics
Bachelor's thesis defence: Matematické modely chování | Theses on a related topic

11.
Breznická, Alžbeta
Faculty: Faculty of Economics and Administration
Year: 2022, studies completed, degree conferred: Ing.
Programme/field: Mathematical and Statistical Methods in Economics / Mathematical and Statistical Methods in Economics
Master's thesis defence: Učení v soutěžních experimentech | Theses on a related topic

12.
Brožek, Václav
Faculty: Faculty of Informatics
Year: 2007, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Informatics
Master's thesis defence: Decidability and complexity of infinite-state stochastic games | Theses on a related topic

13.
Bublošová, Monika
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economic Theory / Economics
Master's thesis defence: Vyjednávání s utopenými náklady | Theses on a related topic

14.
Buchtová, Lenka
Faculty: Faculty of Science
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Physics / Upper Secondary School Teacher Training in Mathematics, Upper Secondary School Teacher Training in Physics
Master's thesis defence: Náhody s nadhledem | Theses on a related topic

15.
Černá, Natálie
Faculty: Faculty of Economics and Administration
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Economic Theory / Economics
Bachelor's thesis defence: Konzistence odhadů recipročního parametru v ekonomických experimentech | Theses on a related topic

16.
Dámek, Martin
Faculty: Faculty of Informatics
Year: 2011, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Digital matting for image processing and composition | Theses on a related topic

17.
Danielka, Filip
Faculty: Faculty of Education
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Specialization in Education / Lower Secondary School Teacher Training in English Language and Literature, Lower Secondary School Teacher Training in Mathematics
Bachelor's thesis defence: Pravděpodobnost a statistika v jazyku R | Theses on a related topic

18.
Dobrovič, Adam
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Rozšířený Kuhnův poker | Theses on a related topic

19.
Dosedělová, Iva
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Popularizace teorie her | Theses on a related topic

20.
Dvořáková, Kateřina
Faculty: Faculty of Science
Year: 2017, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Master's thesis defence: Lobbování a transparence z pohledu teorie her | Theses on a related topic

21.
Eliášová, Tereza
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Koaliční hry | Theses on a related topic

22.
Faguľová, Kristína
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Applied Mathematics for Multi-Branches Study, Economics
Bachelor's thesis defence: Lidský faktor v teorii her | Theses on a related topic

23.
Fejtková, Daniela maiden name: Binková
Faculty: Faculty of Economics and Administration
Year: 2008, studies completed, degree conferred: Ing.
Programme/field: Economic Policy and Administration / Public Economics
Master's thesis defence: Kdo skutečně rozhoduje v orgánech EU? (Praktická aplikace teorie veřejné volby) | Theses on a related topic

24.
Ferrarese, Davide
Faculty: Faculty of Economics and Administration
Year: 2021, studies completed, degree conferred: Ing.
Programme/field: Public Finance and Economics / Public Finance and Economics
Master's thesis defence: Economic impact of corruption in the public sector and its cognitive origins | Theses on a related topic

25.
Fiala, Jan
Faculty: Faculty of Education
Year: 2010, studies completed, degree conferred: PhDr.
Programme/field: Teacher Training for Secondary Schools / Upper Secondary School Teacher Training in Mathematics
Advanced Master's thesis defence: Výuka matematiky v Německu. Případová studie výuky stochastiky na německém gymnáziu. | Theses on a related topic

26.
Filip, Marcel
Faculty: Faculty of Economics and Administration
Year: 2015, studies completed, degree conferred: Ing.
Programme/field: Economic Theory / Economics
Master's thesis defence: Může zákaz kouření v restauracích zvýšit blahobyt? | Theses on a related topic

27.
Forejt, Vojtěch
Faculty: Faculty of Informatics
Year: 2008, studies completed, degree conferred: RNDr.
Programme/field: Informatics / Informatics
Advanced Master's thesis defence: Formal Verification of Finite-State Stochastic Systems | Theses on a related topic

28.
Forch, Vlastislav
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Hry v rozšířené formě | Theses on a related topic

29.
Glézl, Róbert
Faculty: Faculty of Education
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Mathematics for Education / Mathematics for Education, Technology and IT for Education
Bachelor's thesis defence: Úlohy z rekreační matematiky pro žáky 2. stupně ZŠ | Theses on a related topic

30.
Glézl, Róbert
Faculty: Faculty of Education
Year: 2024, studies completed, degree conferred: Mgr.
Programme/field: Lower Secondary School Teacher Training in Mathematics / Lower Secondary School Teacher Training in Mathematics, Lower Secondary School Teacher Training in Technology and IT Education
Master's thesis defence: Teorie pravděpodobnosti ve výuce na ZŠ | Theses on a related topic

31.
Hájek, Jan
Faculty: Faculty of Economics and Administration
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Economic Policy and Administration / Public Economics and Administration
Bachelor's thesis defence: Vliv zájmových skupin v odpadovém hospodářství | Theses on a related topic

32.
Harangi, Gabriel
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Kombinatorické techniky v úlohách matematických soutěží | Theses on a related topic

33.
Harvánková, Martina
Faculty: Faculty of Science
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Upper Secondary School Teacher Training in Physics / Teaching of Mathematics for Secondary Schools, Upper Secondary School Teacher Training in Physics
Master's thesis defence: Počátky teorie pravděpodobnosti | Theses on a related topic

34.
Horáček, Martin
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Artificial intelligence and data processing / Machine learning and artificial intelligence
Master's thesis defence: Risk-Aversion in Algorithms for Poker | Theses on a related topic

35.
Hrubá, Ondřejka maiden name: Šolcová
Faculty: Faculty of Economics and Administration
Year: 2015, studies terminated for failure to fulfill study requirements
Programme/field: Finance and Accounting / Finance
Bachelor's thesis defence: Metody kvantifikace podnikatelského rizika | Theses on a related topic

36.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2019, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Problém splnitelnosti pro pravděpodobnostní temporální logiky | Theses on a related topic

37.
Chodil, Miroslav
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Mgr.
Programme/field: Theoretical computer science / Theoretical computer science
Master's thesis defence: The satisfiability problem for Probabilistic CTL | Theses on a related topic

38.
Jedličková, Simeona
Faculty: Faculty of Arts
Year: 2010, studies completed, degree conferred: Mgr.
Programme/field: General Theory and History of Arts and Culture / Aesthetics and Culture Studies
Master's thesis defence: Poetika v Rozpravách Pierra Corneille | Theses on a related topic

39.
Ježková, Veronika
Faculty: Faculty of Social Studies
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Political Science / Political Science, Security & Strategic Studies
Bachelor's thesis defence: Vyhodnocení pravděpodobnosti typů radiologických útoků na Českou republiku podle Analysis of Competing Hypotheses | Theses on a related topic

40.
Kahoun, Tomáš
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Statistics and Data Analysis
Bachelor's thesis defence: Monty Hallův problém | Theses on a related topic

41.
Kachmanová, Stanislava
Faculty: Faculty of Science
Year: 2015, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Nadreálná čísla | Theses on a related topic

42.
Kiliánová, Barbora
Faculty: Faculty of Education
Year: 2013, studies completed, degree conferred: Bc.
Programme/field: Education / Social and Free Time Education
Bachelor's thesis defence: Proč a jak si lidé hrají | Theses on a related topic

43.
Klang, Metoděj
Faculty: Faculty of Science
Year: 2019, studies completed, degree conferred: Bc.
Programme/field: Mathematics / Mathematics
Bachelor's thesis defence: Nejlepší odpovědi v markovských strategiích opakovaných her 2x2 | Theses on a related topic

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

45.
Kopčoková, Ivica
Faculty: Faculty of Science
Year: 2010, studies completed, degree conferred: Bc.
Programme/field: Applied Mathematics / Financial and Insurance Mathematics
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic
Bachelor's thesis defence: Stochastické modely výskytu událostí | Theses on a related topic

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

47.
Koutný, Marian
Faculty: Faculty of Science
Year: 2014, studies completed, degree conferred: Mgr.
Programme/field: Mathematics / Finance Mathematics
Master's thesis defence: Odhad hustoty pravděpodobnosti metodou maximální penalizované věrohodnosti | Theses on a related topic

48.
Křetínský, Jan
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Fundamental Properties of Probabilistic Branching-Time Logics | Theses on a related topic

49.
Křivánek, Martin
Faculty: Faculty of Informatics
Year: 2009, studies completed, degree conferred: Bc.
Programme/field: Informatics / Informatics
Bachelor's thesis defence: Probabilistic Extension of Message Sequence Chart | Theses on a related topic

50.
Kučera, Martin
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Theoretical Informatics
Master's thesis defence: Efficient analysis of stochastic consumption games | Theses on a related topic