Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

Yixuan Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu