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