Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach.
Neelanjana PalTaylor T. JohnsonPublished in: CoRR (2023)
Keyphrases
- short term
- formal verification
- long term
- model checking
- model checker
- short term and long term
- bounded model checking
- automated verification
- support vector
- training data
- symbolic model checking
- medium term
- load forecasting
- long term memory
- stock market
- feature selection
- test set
- short and long term
- training set
- forecasting model
- wind speed
- temporal logic
- expert systems
- neural network