To model check or not to model check.

Nina Saxena Jason Baumgartner Avijit Saha Jacob A. Abraham

Published in: ICCD (1998)

Keyphrases

high level
probabilistic model
theoretical analysis
computational model
statistical model
management system
mathematical model
experimental data
data mining
artificial intelligence
decision making
markov random field
agent model