On the Robustness of Temporal Properties for Stochastic Models.

Ezio Bartocci Luca Bortolussi Laura Nenzi Guido Sanguinetti

Published in: HSB (2013)

Keyphrases

probabilistic model
stochastic models
temporal properties
model checking
stochastic processes
stochastic model
random fields
graphical models
possibility theory
formal methods
maximum likelihood
marginal distributions
decision making
linear combination