# Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates

> Research article (2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2018) · cited 77× · AI/ML

**Wikidata**: [openalex:W2910178877](https://www.wikidata.org/wiki/openalex:W2910178877)  
**Source**: https://4ort.xyz/entity/formally-correct-composition-of-coordinated-behaviors-using-control-barrier-certificates