Trace Semantics for Stochastic Systems with Nondeterminism.

Verena Wolf Christel Baier Mila E. Majster-Cederbaum

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

stochastic systems
stochastic models
conservation laws
confidence intervals
situation calculus
sample path