Optimal Control of Nonlinear Systems with Temporal Logic Specifications
Control of Systems Integrating Logic, Dynamics, and Constraints