A Simple Algorithm for Solving Qualitative Probabilistic Parity Games.

Ernst Moritz Hahn, Sven Schewe, Andrea Turrini, Lijun Zhang

Browse the full CAV paper archive.