Automatic Policy Synthesis to Improve the Safety of Nonlinear Dynamical Systems.