Práce na příbuzné téma (mají shodná klíčová slova):

strategy synthesis

Klíčová slova abecedně | Klíčová slova dle četnosti

1.
Jankola, Marek
Fakulta: Fakulta informatiky
Rok: 2023, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Teoretická informatika / Formální analýza počítačových systémů
Obhajoba diplomové práce: Tight Omega-Automata | Práce na příbuzné téma Zobrazit popisek

2.
Meluš, Dávid
Fakulta: Fakulta informatiky
Rok: 2021, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Aplikovaná informatika / Bioinformatika
Obhajoba bakalářské práce: Extending the Synthesis Algorithm for Consumption MDPs with LTL Objectives | Práce na příbuzné téma

3.
Klaška, David
Fakulta: Fakulta informatiky
Rok: 2017, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Optimalizační metody pro řešení patrolovacích her | Práce na příbuzné téma

4.
Lamser, Tomáš
Fakulta: Fakulta informatiky
Rok: 2016, studium úspěšně absolvováno, udělen titul: Bc.
Program/obor Informatika / Matematická informatika
Obhajoba bakalářské práce: Algoritmická analýza bezpečnostních her | Práce na příbuzné téma

5.
Klimoš, Miroslav
Fakulta: Fakulta informatiky
Rok: 2014, studium úspěšně absolvováno, udělen titul: Mgr.
Program/obor Informatika / Teoretická informatika
Obhajoba diplomové práce: Algoritmická syntéza strategií pro detekci skrytých kódů | Práce na příbuzné téma