@dblp

Faster Algorithms for Mean-Payoff Parity Games.

, , and . MFCS, volume 83 of LIPIcs, page 39:1-39:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Links and resources

Tags