# Joint Differentiable Optimization and Verification for Certified Reinforcement Learning

> Research article (Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023), 2023) · cited 16× · AI/ML

**Wikidata**: [openalex:W4368408208](https://www.wikidata.org/wiki/openalex:W4368408208)  
**Source**: https://4ort.xyz/entity/joint-differentiable-optimization-and-verification-for-certified-reinforcement-learning