Browsing katedry by Subject "lazy compilation"

Now showing items 1-2 of 2

    • Líná kompilace v klasickém plánování 

      Author: Zuzana Fílová; Supervisor: Surynek Pavel; Opponent: Vašata Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-02-04)
      Předmětem této diplomové práce je problematika líné kompilace v klasickém plánování. V teoretické části práce jsou nejprve shrnuty základní informace o klasickém plánování, definovány důležité pojmy klasické reprezentace ...

    • Multi-agentní hledání cest se spojitým časem založené na celočíselném lineárním programování 

      Author: Yana Zabrodskaya; Supervisor: Surynek Pavel; Opponent: Vašata Daniel
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-04)
      Tato práce se zabývá problémem hledání nejkratší cesty pro několik robotů tak, aby se tito roboti nesrazili. Za účelem řešení výše uvedeného problému byl vyvinut algoritmus, který je založen na celočíselném lineárním ...