Necessary and sufficient optimality conditions for average reward of controlled Markov chains Karel Sladký (1973) Kybernetika