Joint Differentiable Optimization and Verification for Certified Reinforcement Learning
Yixuan Wang, S. Zhan, Zhilu Wang, Chao Huang, Zhaoran Wang, Zhuoran Yang, Qi Zhu
International Conference on Cyber-Physical Systems