# Formal Verification for Safe Deep Reinforcement Learning in Trajectory Generation

> Research article (2020 Fourth IEEE International Conference on Robotic Computing (IRC), 2020) · cited 18× · AI/ML

**Wikidata**: [openalex:W3116714419](https://www.wikidata.org/wiki/openalex:W3116714419)  
**Source**: https://4ort.xyz/entity/formal-verification-for-safe-deep-reinforcement-learning-in-trajectory-generation