Oracle-Guided Design And Analysis Of Learning-Based Cyber-Physical Systems