Funnel libraries for real-time robust feedback motion planning
Integer and Combinatorial Optimization