NI-ZI-1
NI-UMI Automatické plánování, plánovací graf, kompilace plánování jako výrokové splnitelnosti (SAT), plánování v prostoru plánů. Plánování pohybu a problém lokalizace v robotice.
NI-UMI Automatické plánování, plánovací graf, kompilace plánování jako výrokové splnitelnosti (SAT), plánování v prostoru plánů. Plánování pohybu a problém lokalizace v robotice.