Sertac Karaman, Ricardo G. Sanfelice, Emilio Frazzoli. Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications. In Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, México. pages 2117-2122, IEEE, 2008. [doi]
Abstract is missing.