# Correct-by-construction control synthesis for multi-robot mixing

> Research article (2015 54th IEEE Conference on Decision and Control (CDC), 2015) · cited 12× · AI/ML

**Wikidata**: [openalex:W2288528772](https://www.wikidata.org/wiki/openalex:W2288528772)  
**Source**: https://4ort.xyz/entity/correct-by-construction-control-synthesis-for-multi-robot-mixing