Login / Signup

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.

Ralf WimmerBettina BraitlingBernd BeckerErnst Moritz HahnPepijn CrouzenHolger HermannsAbhishek DhamaOliver E. Theel
Published in: QEST (2010)
Keyphrases
  • long run
  • short run
  • queueing networks
  • decision making
  • bayesian networks
  • probabilistic model
  • steady state
  • heavy traffic
  • optimal policy
  • expected cost
  • average cost