Publication | Open Access
A game-based approximate verification of deep neural networks with provable guarantees
114
Citations
39
References
2019
Year
Artificial IntelligenceGame-based Approximate VerificationDeep Neural NetworksEngineeringAutomated ReasoningApproximate ComputingProbabilistic VerificationVerificationComputer EngineeringProvable GuaranteesComputer ScienceGamesNeural Architecture SearchFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1