Using models to model-check recursive schemes.
Sylvain SalvatiIgor WalukiewiczPublished in: Log. Methods Comput. Sci. (2015)
Keyphrases
- probabilistic model
- experimental data
- hybrid model
- mathematical model
- linear model
- computational models
- modeling method
- parametric models
- accurate models
- modeling framework
- multiple models
- classification models
- machine learning
- autoregressive
- stochastic model
- analytical model
- neural network model
- goodness of fit
- computational model
- parameter estimation
- nonlinear models
- neural network
- domain models
- predictive model
- linear models
- finite state machines
- monte carlo simulation
- random fields
- metamodel
- simulation model
- linear regression
- statistical models
- statistical model
- prior knowledge