Eager to Stop: Efficient Falsification of Deep Neural Networks

Guanqin Zhang, ICFEM 2023
Download Paper