# A More Scalable Mixed-Integer Encoding for Metric Temporal Logic

> Research article (IEEE Control Systems Letters, 2021) · cited 10× · AI/ML

**Wikidata**: [openalex:W3217403887](https://www.wikidata.org/wiki/openalex:W3217403887)  
**Source**: https://4ort.xyz/entity/a-more-scalable-mixed-integer-encoding-for-metric-temporal-logic