# A Deep Reinforcement Learning Framework with Formal Verification

> Research article (Formal Aspects of Computing, 2022) · cited 12× · AI/ML

**Wikidata**: [openalex:W4313408230](https://www.wikidata.org/wiki/openalex:W4313408230)  
**Source**: https://4ort.xyz/entity/a-deep-reinforcement-learning-framework-with-formal-verification