Login / Signup
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes.
Valentina Castiglioni
Michele Loreti
Simone Tini
Published in:
Theor. Comput. Sci. (2020)
Keyphrases
</>
probabilistic model
data sets
bayesian networks
temporal logic
temporal reasoning
probability measures
case study
distance measure
metric space
uncertain data
database
learning algorithm
information systems
generative model
context sensitive
probabilistic logic