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