Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components