Gagandeep Singh 0001, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee 0001, Avaljot Singh, Changming Xu, Shubham Ugare, Huan Zhang. Safety and Trust in Artificial Intelligence with Abstract Interpretation. Foundations and Trends in Programming Languages, 8(3-4):250-408, 2025. [doi]
Abstract is missing.