Safe Pontryagin Differentiable Programming - Jin, Wanxin; Mou, Shaoshuai; Pappas, George J. (Advances in Neural Information Processing Systems, 2021)