# Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications

> Research article (IEEE Access, 2020) · cited 28× · AI/ML

**Wikidata**: [openalex:W3001329157](https://www.wikidata.org/wiki/openalex:W3001329157)  
**Source**: https://4ort.xyz/entity/formal-verification-of-a-hybrid-machine-learning-based-fault-prediction-model-in-internet-of-things-applications