Prohlížení dle autora "Morak Michael"
-
Reversibilita nedeterministických akcí
Autor: Jakub Med; 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. ...