Joint Differential Optimization and Verification for Certified Reinforcement Learning

Published in International Conference on Cyber-Physical Systems (ICCPS), 2023