# Towards Compositional Verification for Modular Robotic Systems

> Research article (Electronic Proceedings in Theoretical Computer Science, 2020) · cited 16× · AI/ML

**Wikidata**: [openalex:W3107687528](https://www.wikidata.org/wiki/openalex:W3107687528)  
**Source**: https://4ort.xyz/entity/towards-compositional-verification-for-modular-robotic-systems