Provably Efficient Safe Exploration via Primal-Dual Policy Optimization. - Ding, Dongsheng; Wei, Xiaohan; Yang, Zhuoran; Wang, Zhaoran; Jovanovic, Mihailo R. (CoRR, 2020)