• DPLL(MAPF): Integrace řešiče SATu a multi-agetního hledání cest 

      Autor: Martin Čapek; Vedoucí práce: Surynek Pavel; Oponent práce: Starý Jan
      (Č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)
      Multiagentní hledání cest (MAPF) se často kopiluje do výrokové splnitelnosti (SAT) a je dále vyřešeno existujícím SAT řešičem. V této práci jsme přišli s novým kompilačním schématem DPLL(MAPF), který používá těsnou inegraci ...
    • Hledání disjunktních cest v nerovinném prostředí 

      Autor: Petr Michalíček; Vedoucí práce: Surynek Pavel; Oponent práce: Kleprlík Luděk
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-12)
      Kooperativní hledání disjunktních cest je varianta problému multiagentního hledání cest, při kterém je zadán prostor a množina obsahující několik párů se startovní a cílovou pozicí z prostoru. Úkolem je nalézt vrcholově-disjunktní ...
    • Testovací instance pro multi-agentní hledání cest 

      Autor: Tomáš Vlk; Vedoucí práce: Surynek Pavel; Oponent práce: Maldonado Lopez Juan Pablo
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-19)
      Multi-agentní hledání cest je důležitý problém se širokým a rozmanitým využitím. Avšak jeho algoritmy jsou většinou testované pouze na mřížkových grafech. Cílem této práce je toto vyřešit poskytnutím jiných typů grafů a ...