Minimal refinements of specifications in model and termporal logics.

Nikos Gorogiannis Mark Ryan

Published in: Formal Aspects Comput. (2007)

Keyphrases

high level
probabilistic model
em algorithm
expert systems
computational model
mathematical model
formal model
real time
theoretical framework
learning algorithm
bayesian networks
parameter estimation
statistical model
experimental data
simulation model