A Note on Model Checkers Reuse and Validation.
Nikolay V. ShilovKwangkeun YiPublished in: APLAS (2000)
Keyphrases
- probabilistic model
- statistical model
- theoretical analysis
- artificial intelligence
- knowledge base
- high level
- reinforcement learning
- parameter values
- process model
- conceptual model
- sensitivity analysis
- formal model
- autoregressive
- real time
- metamodel
- prediction model
- simulation model
- experimental data
- theoretical framework
- information systems
- machine learning