Extending the RASSP model for Verification.

Martin Zambaldi Wolfgang Ecker

Published in: FDL (2004)

Keyphrases

mathematical model
cost function
hybrid model
theoretical framework
computational model
management system
probability distribution
prior knowledge
multi agent
database
parameter estimation
objective function
high level
knowledge base
statistical model
model checking
closed form
classification models
neural network