Bridging the gap between single- and multi-model predictive runtime verification.
Angelo FerrandoRafael C. CardosoMarie FarrellMatt LuckcuckFabio PapacchiniMichael FisherViviana MascardiPublished in: Formal Methods Syst. Des. (2021)
Keyphrases
- computational model
- mathematical model
- network model
- conceptual model
- experimental data
- probability distribution
- probabilistic model
- statistical model
- closed form
- prior knowledge
- theoretical analysis
- objective function
- high level
- artificial intelligence
- data mining
- sensitivity analysis
- neural network model
- formal model
- neural network