Safety Assurance of Autonomous Learning-Enabled Cyber-Physical Systems (PhD Defense)