Prohlížení Fakulta elektrotechnická dle předmětu "automatické plánování"
Zobrazují se záznamy 1-1 z 1
-
Reversibilita nedeterministických akcí
; Vedoucí práce: Chrpa Lukáš; Oponent práce: Morak Michael
(Č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)Automatické plánování je podobor počítačových věd zabývající se formální specifikací problému, která je následována algoritmickým rozhodnutím, zda-li je některá cílová konfigurace dosažitelná z dané počáteční konfigurace. ...