Machine Learning in Feedback Systems: Provable Methods for Safe and Robust Autonomy