1 paper
Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr +1
We give an algorithm for solving stochastic parity games with almost-sure winning conditions on lossy channel systems, for the case where the players are restricted to finite-memor…