Prohlížení katedra aplikované matematiky dle předmětu "výroková splnitelnost"
Zobrazují se záznamy 1-2 z 2
-
Líná kompilace v klasickém plánování
; Vedoucí práce: Surynek Pavel; Oponent práce: 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 s více cíli pomocí výrokové splnitelnosti
; 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., 2023-06-15)Tato práce se zabývá hledáním optimálního řešení problému multi-agentního hledání cest s více cíli (MG-MAPF), který je zobecněním multi-agentního hledání cest (MAPF). Úkolem v problému MG-MAPF je nalezení nekonfliktní cesty ...