CSymPlan: Certified Symbolic Planning and Control for High-DOF Manipulators
CSymPlan is presented, a certified symbolic planning and control framework for high-DOF manipulators with two complementary implementations: an offline implementation that precomputes certified reach-avoid feedback policies for known workspaces; and an online implementation that synthesizes or updates symbolic policies at runtime from changing task and perception information using parallelization.