• Analýza sady algoritmů pro řešení extenzivních her s nekompletní informací 

      Autor: Čermák Jiří; Vedoucí práce: Bošanský Branislav; Oponent práce: Kukačka Marek
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2012-07-24)
    • Ověřování rozvrhu zpráv pro Profinet IRT 

      Autor: Halíř Lukáš; Vedoucí práce: Burget Pavel; Oponent práce: Čermák Jiří
      Tato práce se zabývá ověřováním plánu zpráv v sítích Profinet IRT. Pro ověřování byly v této práci implementovány a popsány dva přístupy. Prvním z přístupů je oveření plánu statickou kontrolou jeho parametrů podle zadaných ...