Bisimulation Through Probabilistic Testing.

Kim Guldstrand Larsen Arne Skou

Published in: POPL (1989)

Keyphrases

generative model
data driven
probabilistic model
probabilistic logic
test data
bayesian networks
probabilistic interpretation
prior knowledge
uncertain data
software engineering
databases
expert systems
video sequences
multiscale
case study
machine learning
data mining
real world