Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.

Marco Bernardo Rocco De Nicola Michele Loreti

Published in: FoSSaCS (2012)

Keyphrases

bayesian networks
process model
finite state
uncertain data
information systems
databases
data driven
semi supervised
connected components
model checking
test set
markov chain
data model
database systems
decision making
artificial intelligence
machine learning