A Probabilistic Assume-Guarantee Reasoning Framework Based on Genetic Algorithm.

Yan Ma Zining Cao Yang Liu

Published in: IEEE Access (2019)

Keyphrases

genetic algorithm
probabilistic model
main contribution
taxonomic reasoning
conceptual framework
logical framework
hidden markov models
bayesian networks
lightweight
database
theoretical framework
knowledge base
causal networks
probabilistic approaches
probabilistic formulation
reasoning engine
data sets