# Specification and Verification of Collaborative Transport Robots

> Research article (2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC), 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2810297787](https://www.wikidata.org/wiki/openalex:W2810297787)  
**Source**: https://4ort.xyz/entity/specification-and-verification-of-collaborative-transport-robots