Robustness testing of AI systems: A case study for traffic sign recognition

13 August 2021

Papers citing "Robustness testing of AI systems: A case study for traffic sign recognition"

3 / 3 papers shown

Title
Trust in AI: Interpretability is not necessary or sufficient, while black-box interaction is necessary and sufficient Max W. Shen 25 18 0 10 Feb 2022
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