Axiomatizations for Probabilistic Bisimulation.

Emanuele Bandini Roberto Segala

Published in: ICALP (2001)

Keyphrases

information theoretic
uncertain data
neural network
real world
case study
multiscale
probabilistic model
posterior probability
decision procedures
machine learning
computer vision
bayesian networks
belief networks
probabilistic reasoning
probabilistic interpretation