Čemu se skupina věnuje?
Témata spadající do našich zájmů zahrnují algoritmy pro plánování a řešení úloh v robotice, hledání cest, multiagentní hledání cest (MAPF) a jeho generalizace směrem k obecnému plánování pohybu a koordinaci. K řešení zkoumaných problémů se snažíme používat a rozvíjet techniky z výrokové logiky (SAT), z logiky prvního řádu, ze SAT-modulovaných teorií (SMT) a splňování omezení (CSP).