Sort by
Refine Your Search
-
with practical, application-driven, and experimental work. It includes active collaboration with both academic institutions and industrial partners. The focus of the research is on robotic manipulation
-
behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves
Searches related to manipulation
Enter an email to receive alerts for manipulation positions