Optimal Control of Nonlinear Systems with Temporal Logic Specifications
A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications