X Huang, D Kroening, W Ruan, J Sharp, Y Sun… - Computer Science …, 2020 - cir.nii.ac.jp
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial
attack and defence, and interpretability | CiNii Research CiNii 国立情報学研究所 学術情報 …