Verifying MSMAS Model Using CIFF.
Emad Eldeen ElakehalMarco MontaliJulian A. PadgetPublished in: MATES (2013)
Keyphrases
- probabilistic model
- statistical model
- computational model
- mathematical model
- sensitivity analysis
- management system
- parameter values
- high level
- cost function
- theoretical framework
- experimental data
- object model
- database
- formal model
- bayesian framework
- closed form
- hierarchical structure
- prior knowledge
- artificial neural networks
- reinforcement learning
- knowledge base
- data sets