Lamrani, I.; Banerjee, A.; Gupta, S. K. Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract). AAAI 2020, 34, 13847-13848.