Least-violating control strategy synthesis with safety