Multiple Mean-Payoff Optimization under Local Stability Constraints

David Klaška, Antonín Kučera, Vojtěch Kůr +2

The long-run average payoff per transition (mean payoff) is the main tool for specifying the performance and dependability properties of discrete systems. The problem of constructi…