TY  - THES
AU  - Periañez Rollán, David
A3  - Vado Virseda, Rafael Del
PY  - 2025
UR  - https://hdl.handle.net/20.500.14352/119535
AB  - La verificación formal de redes neuronales es un área de creciente interés dentro de la inteligencia artificial, motivada por la necesidad de garantizar propiedades críticas como la robustez en modelos de aprendizaje profundo. Este trabajo aborda el...
AB  - Formal verification of neural networks is a field of growing interest within artificial intelligence, driven by the need to guarantee critical properties such like robustness in deep learning models. This work approaches the verification problem from...
LA  - spa
KW  - Red neuronal
KW  - Problema de verificación
KW  - Robustez
KW  - Alcanzabilidad
KW  - Optimización
KW  - Completitud
KW  - Algoritmo
KW  - Aprendizaje profundo
KW  - Función de activación
KW  - Propagación
KW  - Satisfiabilidad
KW  - Inteligencia artificial
TI  - Verificación formal de redes neuronales
M3  - bachelor thesis
ER  -