Publication

[HahnSTZ16] A Simple Algorithm for Solving Qualitative Probabilistic Parity Games Hahn, E. M.; Schewe, S.; Turrini, A. and Zhang, L. In CAV, pages 291-311, LNCS 9780, 2016.Downloads: pdf, bib