Publication | Closed Access
Verifying ReLU Neural Networks from a Model Checking Perspective
24
Citations
18
References
2020
Year
EngineeringAutomated ReasoningVerificationComputer-aided VerificationModel VerificationComputer ScienceModel Checking PerspectiveModel CheckingDeep LearningFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1