# Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking

> Research article (IEEE Transactions on Control Systems Technology, 2018) · cited 11× · AI/ML

**Wikidata**: [openalex:W2902571568](https://www.wikidata.org/wiki/openalex:W2902571568)  
**Source**: https://4ort.xyz/entity/supervisory-control-of-labeled-transition-systems-subject-to-multiple-reachability-requirements-via-symbolic-model-check