Nenchev, V., Belta, C., & Raisch, J. (2015). Optimal motion planning with temporal logic and switching constraints. In Proceedings of the 14th European Control Conference (ECC 2015) (pp. 1141-1146).