Safety and Trust in Artificial Intelligence with Abstract Interpretation

by Gagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh