Alireza Souri, Amin Salih Mohammed, Moayad Yousif Potrus, Mazhar Hussain Malik, Fatemeh Safara, Mehdi Hosseinzadeh 0001. Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications. IEEE Access, 8:23863-23874, 2020. [doi]
Abstract is missing.