Safe AI -- How is this Possible?

25 January 2022

Papers citing "Safe AI -- How is this Possible?"

3 / 3 papers shown

Title
System Theoretic View on Uncertainties Roman Gansch Ahmad Adee 31 16 0 07 Mar 2023
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 240 1,837 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016