Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1910.05018
Cited By
Verification of Neural Networks: Specifying Global Robustness using Generative Models
11 October 2019
Nathanaël Fijalkow
M. Gupta
AAML
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Verification of Neural Networks: Specifying Global Robustness using Generative Models"
1 / 1 papers shown
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems
Chris R. Serrano
Pape Sylla
Michael A. Warren
GAN
84
2
0
16 Dec 2020
1
Page 1 of 1
