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