A Study of Model-Order Reduction Techniques for Verification.
Yi ChouXin ChenSriram SankaranarayananPublished in: NSV@CAV (2017)
Keyphrases
- computational model
- theoretical framework
- cost function
- probabilistic model
- management system
- simulation study
- mathematical model
- study proposes
- formal model
- theoretical foundation
- neural network model
- probability distribution
- conceptual model
- statistical model
- decision trees
- em algorithm
- simulation model
- prediction model
- prior knowledge