Automated verification and refutation of quantized neural networks
Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety- critical applications, including autonomous cars and medical diagnosis. However, con- cerns about their reliability have been raised due to their black-box nature and apparent fragility to adversarial attacks...
| Autor principal: | Sena, Luiz Henrique Coelho |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/1493664223350422 |
| Grau: | Dissertação |
| Idioma: | eng |
| Publicado em: |
Universidade Federal do Amazonas
2022
|
| Assuntos: | |
| Acesso em linha: |
https://tede.ufam.edu.br/handle/tede/8845 |