# A formal methods approach to interpretable reinforcement learning for robotic planning

> Research article (Science Robotics, 2019) · cited 106× · AI/ML

**Wikidata**: [openalex:W2995074243](https://www.wikidata.org/wiki/openalex:W2995074243)  
**Source**: https://4ort.xyz/entity/a-formal-methods-approach-to-interpretable-reinforcement-learning-for-robotic-planning