Learning-Based Control Synthesis