Algorithm and Strategy Construction for Sure-Almost-Sure Stochastic Parity Games.

Laurent Doyen, Shibashis Guha

Browse the full STACS paper archive.