Branching bisimulation for probabilistic systems: Characteristics and decidability.

Suzana Andova Tim A. C. Willemse

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

Keyphrases

computer systems
real time
bayesian networks
information theoretic
lower bound
intelligent systems
generative model
learning systems
query answering
probability theory