Activity-local symbolic state graph generation for high-level stochastic models.

Kai Lampka Markus Siegle

Published in: MMB (2006)

Keyphrases

stochastic models
high level
stochastic model
stochastic processes
state space
data sources
state variables