Value Iteration for Stochastic Parity Games

Kittiphon Phalakarn, Ichiro Hasuo

We present the first (bounded) value iteration algorithm for the quantitative analysis of stochastic parity games, a fundamental model for probabilistic verification with $\omega$-regul…