Weinertand Zimmermann. Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. 10 Aug. 2017.