Locally optimal decomposition for autonomous obstacle avoidance with the Tunnel-MILP algorithm | IEEE Conference Publication | IEEE Xplore