The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.

Marco Bernardo Rocco De Nicola Michele Loreti

Published in: QAPL (2013)

Keyphrases

bayesian networks
connected components
human behavior
probabilistic model
data driven
generative model
context sensitive
uncertain data
decision making
process model
real time
genetic algorithm
search engine
high level
database systems
finite state