Visible to the public Counterexample-Guided Synthesis of Perception Models and Control