Characterization of Simulation by Probabilistic Testing.

Philipp Rümmer Wang Yi

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

bayesian networks
simulation model
simulation models
probabilistic model
generative model
mathematical model
databases
case study
probability distribution
simulation study
numerical simulations
discrete event simulation
real time
machine learning
e learning
information theoretic