Formal Verification of a Hybrid Machine Learning-Based Fault Prediction Model in Internet of Things Applications.
Alireza SouriAmin Salih MohammedMoayad Yousif PotrusMazhar Hussain MalikFatemeh SafaraMehdi HosseinzadehPublished in: IEEE Access (2020)
Keyphrases
- prediction model
- formal verification
- machine learning
- model checking
- regression model
- automated verification
- model checker
- symbolic model checking
- fault diagnosis
- software reliability
- bp neural network
- neural network
- data mining
- predictive model
- fuzzy neural network
- wavelet neural network
- bounded model checking
- model selection
- temporal logic
- feature selection
- program slicing
- stepwise regression
- formal specification
- mobile devices
- artificial intelligence
- response surface methodology
- knowledge discovery
- bp network
- exponential smoothing
- learning algorithm