Cet article étudie les jeux stochastiques simultanés à somme nulle (JSC) à deux joueurs, avec des objectifs d'accessibilité et de sécurité sur graphes. Si les classes dégénérées telles que les processus de décision de Markov et les jeux stochastiques au tour par tour peuvent être résolues par programmation linéaire ou quadratique, en pratique, l'itération de valeur (IV) surpasse les autres approches et constitue la méthode la plus couramment mise en œuvre. Ces performances pratiques font des IV une alternative intéressante aux solutions théoriques standard utilisant la théorie existentielle des nombres réels pour les JSC. Les IV existants commencent par une approximation de la valeur cible pour chaque état et la mettent à jour de manière itérative, se terminant traditionnellement lorsque deux approximations successives approchent l'approximation ε. Cependant, ces critères de terminaison manquent de garanties quant à la précision de l'approximation. Dans cet article, nous présentons un IV borné (intervalle) pour les JSC, qui compense les séquences de surapproximation convergeant vers l'IV standard et se termine lorsque la surapproximation et la sous-approximation approchent l'approximation ε.
