Informe final del proyecto: Verificación de Sistemas Inteligentes con Componentes con Capacidad de Aprendizaje

Los sistemas de información actuales incluyen cada vez más componentes de inteligencia artificial con capacidad de aprendizaje, en particular las redes neuronales artificiales. Esto no se limita a sistemas de bajo riesgo, como por ejemplo, organizar un álbum de fotos, sino que el área está evolucion...

Full description

Bibliographic Details

Main Author:	Yovine, Sergio (author)
Other Authors:	Carrasco Piaggio, Matías (author), Mayr, Franz (author), Uchitel, Sebastián (author), Braberman, Victor (author), Gagliardi, Hernán (author), Martínez Varsi, Nicolás (author), Pan Suarez, Federico (author), Sanchez, Marco (author), Delgado, Tomás (author), Vilensky, Federico (author), Würth, Mateus (author), Dandois, Santiago José (author), Molinolo, Matías (author), Kidd, Johny (author), Da Silva Barloco, Juan Pedro (author), Garat, Alejo (author), Iturbide Noria, Martín (author)
Format:	report
Language:	Spanish
Published:	2024
Subjects:	Verificación Formal Inteligencia Artificial Aprendizaje Automático Ciencias Naturales y Exactas Ciencias de la Computación e Información Ciencias de la Computación
Online Access:	https://hdl.handle.net/20.500.12381/5138
Tags:	Add Tag No Tags, Be the first to tag this record!