"mean-payoff reward" . . . "mean-payoff reward" .