Title: Formal Methods for Control of Nonlinear Systems