Login / Signup
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence.
Rob J. van Glabbeek
Bas Luttik
Linda Spaninks
Published in:
CoRR (2018)
Keyphrases
</>
branch and bound
search tree
socio technical
databases
evolutionary algorithm
jensen shannon divergence
artificial intelligence
image segmentation
search algorithm
kl divergence
kullback leibler