Lamrani I, Banerjee A, Gupta SK. Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract). AAAI [Internet]. 2020Apr.3 [cited 2024Apr.25];34(10):13847-8. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/7196