Policy Gradient Methods for the Cost-Constrained LQR: Strong Duality and Global Convergence - Feiran Zhao; Keyou You (2024)