Abstract Model Repair.
George ChatzieleftheriouBorzoo BonakdarpourScott A. SmolkaPanagiotis KatsarosPublished in: NASA Formal Methods (2012)
Keyphrases
- statistical model
- high level
- computational model
- simulation model
- probabilistic model
- management system
- neural network
- decision trees
- sensitivity analysis
- mathematical model
- higher level
- parameter values
- prediction model
- bayesian framework
- neural network model
- theoretical analysis
- prior knowledge
- clustering algorithm
- website
- artificial intelligence
- machine learning