Model Verification Through Dependency Graphs.
Søren EnevoldsenKim Guldstrand LarsenJirí SrbaPublished in: SPIN (2019)
Keyphrases
- probabilistic model
- dependency graphs
- cost function
- computational model
- theoretical framework
- mathematical model
- experimental data
- sensitivity analysis
- learning algorithm
- parameter values
- data sets
- machine learning
- decision making
- dependency graph
- prediction model
- formal model
- neural network model
- theoretical analysis
- management system
- genetic algorithm
- data model
- objective function