# Complexity of Verifying Nonblockingness in Modular Supervisory Control

> Research article (IEEE Transactions on Automatic Control, 2017) · cited 11× · AI/ML

**Wikidata**: [openalex:W2598639991](https://www.wikidata.org/wiki/openalex:W2598639991)  
**Source**: https://4ort.xyz/entity/complexity-of-verifying-nonblockingness-in-modular-supervisory-control