Widest Path Games and Maximality Inheritance in Bounded Value Iteration for Stochastic Games

Kittiphon Phalakarn, Yun Chen Tsai, Ichiro Hasuo

For model checking stochastic games (SGs), bounded value iteration (BVI) algorithms have gained attention as efficient approximate methods with rigorous precision guarantees. Howev…