@doctoralThesis{Weinert_2018, title={Optimality and resilience in parity games}, author={Weinert, Alexander Dominik}, doi={http://dx.doi.org/10.22028/D291-27756}, year={2018} }