Raiders of the lost equivalence: Probabilistic branching bisimilarity.

Valentina Castiglioni Simone Tini

Published in: Inf. Process. Lett. (2020)

Keyphrases

bayesian networks
probabilistic model
data driven
uncertain data
conditional probabilities
artificial intelligence
branch and bound
search tree
data sets
machine learning
genetic algorithm
objective function
hidden markov models
generative model
probabilistic logic