Learning-Based Certification for Learning-Based Control - Qin, Zhizhen (ProQuest Dissertations and Theses, 2025)