@misc{indiciae53ff24643359, title = {Parity Games with Weights}, author = {Sven Schewe and Alexander Weinert and Martin Zimmermann}, year = {2019}, doi = {10.23638/lmcs-15(3:20)2019}, url = {https://arxiv.org/abs/1804.06168}, note = {Source identifier: 1804.06168} }