Geeraerts, Goossens, Stainer, 2014. Synthesising Succinct Strategies in Safety Games.