# Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification

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

**Wikidata**: [openalex:W4379409148](https://www.wikidata.org/wiki/openalex:W4379409148)  
**Source**: https://4ort.xyz/entity/guarantees-for-real-robotic-systems-unifying-formal-controller-synthesis-and-reachset-conformant-identification