Branching bisimulation congruence for probabilistic systems.

Suzana Andova Sonja Georgievska Nikola Trcka

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

Keyphrases

bayesian networks
probabilistic model
management system
distributed systems
generative model
complex systems
probability theory
databases
search tree
belief networks
branch and bound
retrieval systems
knowledge based systems
computational intelligence
feature selection
artificial intelligence
information retrieval