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...
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 学位論文 |
| 言語: | English |
| 出版事項: |
2019
|