Safety and Trust in Artificial Intelligence with Abstract InterpretationGagandeep Singh, Jacob Laurel, Sasa Misailovic, Debangshu Banerjee, Avaljot Singh · First published 2025Open the Tome
