Formal verification of neural networks
<p>Machine learning models and in particular Deep Neural Networks are being deployed in an ever increasing number of applications, making it crucial for methods capable of verifying their behaviour to be developed. In order to go beyond treating them as black boxes, we study the feasibility of...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
2019
|