Abstract: Deep neural networks yield desirable performance in text, image, and speech classification. However, these networks are vulnerable to adversarial examples. An adversarial example is a sample ...
Abstract: Formal methods encompass mathematical techniques for specifying, validating and verifying software and hardware systems. While they are powerful, their use of technical and mathematical ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results