RT DW A1 Sun, Dawei. T1 Certifiable Synthesis and Analysis for Autonomy: Data-Driven and Analytical Techniques