Using Agent JPF to Build Models for Other Model Checkers.
Louise A. DennisMichael FisherMatthew P. WebsterPublished in: CLIMA (2013)
Keyphrases
- probabilistic model
- classification models
- agent model
- parameter estimation
- statistical models
- hybrid model
- prior knowledge
- mathematical model
- experimental data
- statistical model
- decision making
- linear regression
- accurate models
- computational model
- model construction
- analytical model
- domain models
- decision theoretic
- model fitting
- predictive model
- modeling framework
- generic model
- monte carlo simulation
- mathematical models
- statistical methods
- probability distribution
- multi agent
- multiple models
- agent interactions
- metamodel
- linear model
- bayesian framework
- conceptual model
- intelligent agents
- high level