Branching Bisimulation Congruence for Probabilistic Systems.

Nikola Trcka Sonja Georgievska

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

management system
building blocks
neural network
software engineering
generative model
learning algorithm
artificial intelligence
clustering algorithm
database systems
computational intelligence
intelligent systems
computer systems
branch and bound
belief networks