Global Convergence of Policy Gradient Methods for the Linear Quadratic Regulator | Synapse