# Metrics for Signal Temporal Logic Formulae

> Research article (2018 IEEE Conference on Decision and Control (CDC), 2018) · cited 13× · AI/ML

**Wikidata**: [openalex:W2886037486](https://www.wikidata.org/wiki/openalex:W2886037486)  
**Source**: https://4ort.xyz/entity/metrics-for-signal-temporal-logic-formulae