Lamrani, I., A. Banerjee, and S. K. Gupta. “Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract)”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 34, no. 10, Apr. 2020, pp. 13847-8, doi:10.1609/aaai.v34i10.7196.