A Complete Axiomatisation for Probabilistic Trace Equivalence.

Ferry Timmers Jan Friso Groote

Published in: Sci. Ann. Comput. Sci. (2020)

Keyphrases

bayesian networks
data driven
neural network
artificial intelligence
probabilistic model
generative model
modal logic
context sensitive
information systems
multiscale
np complete
inference rules
probabilistic relational