Verification plays an essential role in the formal analysis of
safety-cr...
Deep neural networks (DNNs) are known to be vulnerable to adversarial
ge...
Neural network controllers (NNCs) have shown great promise in autonomous...
Safety concerns on the deep neural networks (DNNs) have been raised when...
share