Synthesis of min-max strategies