Вероятности достижимости и ожидаемые вознаграждения - это два важных класса свойств, которые используются при проверке вероятностной модели. Для вычисления базовых свойств применяются итерационные численные методы. Чтобы гарантировать достоверность результатов вычислений, используется метод интервальных итераций. Этот метод использует два вектора в качестве верхней и нижней границ значений и использует стандартный метод итерации значений для обновления значений этих векторов. В этой статье мы используем комбинацию итерации значений и итерации политики для обновления этих значений. Мы используем итерацию политики для обновления значений вектора с нижней границей. Для вектора с верхней границей мы используем модифицированную версию итерации значений, которая помечает бесполезные действия, чтобы игнорировать их в оставшейся части вычислений. Предлагаемый нами подход дает возможность применить некоторые передовые методы для сокращения времени выполнения вычислений для метода интервальных итераций. Мы рассматриваем набор стандартных примеров, и экспериментальные результаты показывают, что в большинстве случаев предлагаемый нами метод сокращает время выполнения вычислений.