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