# Automated Generation of LTL Specifications For Smart Home IoT Using Natural Language

> Research article (2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2020) · cited 14× · AI/ML

**Wikidata**: [openalex:W3036969520](https://www.wikidata.org/wiki/openalex:W3036969520)  
**Source**: https://4ort.xyz/entity/automated-generation-of-ltl-specifications-for-smart-home-iot-using-natural-language