Verification Series

Feature-Guided Black-Box Safety Testing of Deep Neural Networks

9th November 2017, 14:00 add to calender
Xiaowei Huang

Abstract

I will talk about a recent unpublished work along the line of verifying deep neural network.
add to calender (including abstract)

Additional Materials