Sparse Positional Strategies for Safety Games - Rüdiger Ehlers; Daniela Moldovan (SYNT, 2012)