Counterexample-Guided Synthesis of Perception Models and Control