Browsing Diplomové práce - 13136 by Subject "nedeterministické plánování"
Now showing items 1-1 of 1
-
Reversibilita nedeterministických akcí
; Supervisor: Chrpa Lukáš; Opponent: 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. ...