# A survey on compositional algorithms for verification and synthesis in supervisory control

> Research article (Discrete Event Dynamic Systems, 2023) · cited 14× · AI/ML

**Wikidata**: [openalex:W4386027682](https://www.wikidata.org/wiki/openalex:W4386027682)  
**Source**: https://4ort.xyz/entity/a-survey-on-compositional-algorithms-for-verification-and-synthesis-in-supervisory-control