MDPsにおける確実な Energy-MeanPayoff目的のための有限メモリ戦略

MDPsにおいて、Energy-MeanPayoff目的を確実に達成するための有限メモリ戦略が存在する。