Synthesizing robust systems