Multi-dimensional Long-Run Average Problems for Vector Addition Systems with States.

Krishnendu Chatterjee Thomas A. Henzinger Jan Otop

Published in: CoRR (2020)

Keyphrases

long run
multi dimensional
short run
average cost
non stationary
expected cost
scheduling problem
sufficient conditions
optimal policy
infinite horizon