# Safety Assessment of Collaborative Robotics Through Automated Formal Verification

> Research article (IEEE Transactions on Robotics, 2019) · cited 71× · AI/ML

**Wikidata**: [openalex:W2974494763](https://www.wikidata.org/wiki/openalex:W2974494763)  
**Source**: https://4ort.xyz/entity/safety-assessment-of-collaborative-robotics-through-automated-formal-verification