# Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

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

**Wikidata**: [openalex:W2952454357](https://www.wikidata.org/wiki/openalex:W2952454357)  
**Source**: https://4ort.xyz/entity/hierarchical-decomposition-of-ltl-synthesis-problem-for-nonlinear-control-systems