Login / Signup
Divergence-Preserving Branching Bisimilarity.
Bas Luttik
Published in:
EXPRESS/SOS (2020)
Keyphrases
</>
pattern recognition
branch and bound
search tree
bayesian networks
management system
kullback leibler
divergence measure