Skip to main content
University of Oxford Department of Computer Science
- Home
- News
- Media Wall
- Videos - Verifications
Video - Safety Verification for Deep Neural Networks
Marta Kwiatkowska, ICST2018 keynote "Safety Verification for Deep Neural Networks"