Long-run Satisfaction of Path Properties.

Christel Baier Nathalie Bertrand Jakob Piribauer Ocan Sankur

Published in: LICS (2019)

Keyphrases

long run
short run
infinite horizon
expected cost
optimal policy
heavy traffic
average cost
shortest path
queueing networks
control policy
average reward
markov chain
user satisfaction
customer satisfaction