# TeLEx: learning signal temporal logic from positive examples using tightness metric

> Research article (Formal Methods in System Design, 2019) · cited 47× · AI/ML

**Wikidata**: [openalex:W2912432686](https://www.wikidata.org/wiki/openalex:W2912432686)  
**Source**: https://4ort.xyz/entity/telex-learning-signal-temporal-logic-from-positive-examples-using-tightness-metric