Towards locally computable polynomial navigation functions for convex obstacle workspaces