# LTL Model Checking Based on Binary Classification of Machine Learning

> Research article (IEEE Access, 2019) · cited 14× · AI/ML

**Wikidata**: [openalex:W2973405785](https://www.wikidata.org/wiki/openalex:W2973405785)  
**Source**: https://4ort.xyz/entity/ltl-model-checking-based-on-binary-classification-of-machine-learning