# Active Learning of Signal Temporal Logic Specifications

> Research article (2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), 2020) · cited 10× · AI/ML

**Wikidata**: [openalex:W3092068599](https://www.wikidata.org/wiki/openalex:W3092068599)  
**Source**: https://4ort.xyz/entity/active-learning-of-signal-temporal-logic-specifications