I. Lamrani, A. Banerjee, and S. K. Gupta, “Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract)”, AAAI, vol. 34, no. 10, pp. 13847-13848, Apr. 2020.