Verification Series
Feature-Guided Black-Box Safety Testing of Deep Neural Networks
9th November 2017, 14:00
Xiaowei Huang
Abstract
I will talk about a recent unpublished work along the line of verifying deep neural network.
Additional Materials
Maintained by Alexei Lisitsa