Skip to main content

Video - Safety Verification for Deep Neural Networks

Marta Kwiatkowska, ICST2018 keynote "Safety Verification for Deep Neural Networks"