Skip to main content

“Safety Verification of Deep Neural Networks” Marta Kwiatkowska | CAV 2017



Invited Talk @ CAV 2017, Heidelberg Germany.

source

Leave a Reply

Your email address will not be published. Required fields are marked *