1 citations · 1 across the 1 of their papers we have counts for
1 paper
Zhen Liang, Taoran Wu, Changyuan Zhao +4
The increasing use of deep neural networks (DNNs) in safety-critical systems has raised concerns about their potential for exhibiting ill-behaviors. While DNN verification and test…