# Formalization of natural language requirements into temporal logics: a survey

> Research article (2019 IEEE 17th International Conference on Industrial Informatics (INDIN), 2019) · cited 32× · AI/ML

**Wikidata**: [openalex:W3003444615](https://www.wikidata.org/wiki/openalex:W3003444615)  
**Source**: https://4ort.xyz/entity/formalization-of-natural-language-requirements-into-temporal-logics-a-survey