Probabilistic rely-guarantee calculus.

Annabelle McIver Tahiry M. Rabehaja Georg Struth

Published in: Theor. Comput. Sci. (2016)

Keyphrases

bayesian networks
uncertain data
probabilistic model
probabilistic reasoning
probabilistic approaches
data sets
artificial intelligence
generative model
information theoretic
conditional probabilities
probabilistic logic
search engine
similarity measure
video sequences
posterior probability
probability theory