Synthesizing strategies under expected and exceptional environment behaviors