RT DW A1 Wang, Yixuan. T1 Safety-Assured Autonomy for Learning-Enabled Cyber-Physical Systems