Symbolic Bounded Conformance Checking of Model Programs.
Margus VeanesNikolaj BjørnerPublished in: Ershov Memorial Conference (2009)
Keyphrases
- mathematical model
- probabilistic model
- management system
- computational model
- artificial neural networks
- theoretical analysis
- programming language
- intermediate level
- autoregressive
- sensitivity analysis
- hierarchical structure
- em algorithm
- real time
- probability distribution
- cost function
- control system
- prior knowledge
- high level