Analysis and Verification of Robustness Properties in Becker-Döring Model.
Lucia NastiRoberta GoriPaolo MilazzoPublished in: DataMod (2021)
Keyphrases
- high level
- experimental data
- mathematical model
- probabilistic model
- sensitivity analysis
- conceptual model
- data analysis
- computational model
- model checking
- cost function
- prior knowledge
- object model
- data sets
- temporal properties
- quantitative analysis
- formal model
- empirical data
- statistical model
- theoretical analysis
- hidden markov models
- data model
- reinforcement learning
- multiscale
- face recognition
- case study
- machine learning
- data mining