Efficient Algorithms for Verification of Equivalences for Probabilistic Processes.

Linda Christoff Ivan Christoff

Published in: CAV (1991)

Keyphrases

bayesian networks
generative model
information retrieval
data driven
probabilistic logic
business process
probability theory
verification method
database
real time
genetic algorithm
computational model
model checking
connected components
concurrent systems