Compositional Abstractions for Long-Run Properties of Stochastic Systems.

Michael J. A. Smith

Published in: QEST (2011)

Keyphrases

long run
stochastic systems
short run
conservation laws
expected cost
infinite horizon
optimal policy
average reward
average cost
heavy traffic
stochastic models
queueing networks
single item
least squares
confidence intervals