[IEEE 2015 European Control Conference (ECC) - Linz, Austria (2015.7.15-2015.7.17)] 2015 European Control Conference (ECC) - Optimal motion planning with temporal logic and switching constraintsNenchev, Vladislav; Belta, Calin; Raisch, Jorg · 2015