Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus

Yuxing Deng Alwen Tiu

Published in: CoRR (2012)

Keyphrases

bayesian networks
uncertain data
probabilistic model
finite number
real time
training data
control system
probability distribution
generative model
test cases
real numbers
probabilistic databases
probabilistic approaches