Eric M. Wolff, Richard M. Murray. Optimal Control of Nonlinear Systems with Temporal Logic Specifications. In Masayuki Inaba, Peter Corke, editors, Robotics Research - The 16th International Symposium ISRR, 16-19 December 2013, Singapore. Volume 114 of Springer Tracts in Advanced Robotics, pages 21-37, Springer, 2013. [doi]
Abstract is missing.