Eager to Stop: Efficient Falsification of Deep Neural Networks

Guanqin Zhang, ICFEM 2023 (CORE C)
Download Paper | Download Slides