Describir: Learning-Directed Systems with Safety and Robustness Certificates