A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs.

Marnix Suilen, Marck van der Vegt, Sebastian Junges

Browse the full CONCUR paper archive.