Università di Genova logo, link al sitoUniRe logo, link alla pagina iniziale
    • English
    • italiano
  • English 
    • English
    • italiano
  • Login
View Item 
  •   DSpace Home
  • Tesi
  • Tesi di Laurea
  • Laurea Magistrale
  • View Item
  •   DSpace Home
  • Tesi
  • Tesi di Laurea
  • Laurea Magistrale
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Verifica di Reti Neurali con Constraint Programming

Thumbnail
View/Open
tesi28126601.pdf (1.327Mb)
Author
Pedemonte, Karim <1999>
Date
2024-03-27
Data available
2024-04-18
Abstract
Il documento descrive la ricerca condotta al laboratorio Heudiasyc dell'Université de Technologie de Compiègne (UTC) e all'Università degli Studi di Genova sugli argomenti della verifica di reti neurali con Programmazione Lineare, Programmazione a Vincoli e falsificazione di reti neurali con un metodo di sampling. Il documento è organizzato come segue. All'inizio, si discute del contesto del problema. Poi viene proposto un modello per ciascun metodo di verifiica. Infine, i risultati ottenuti sono discussi.
 
The document describes the research conducted at the Heudiasyc laboratory at the University of Technology of Compiègne (UTC) and then at Università degli Studi di Genova on the topics of neural network verification through Mixed Integer Linear Programming and Constraint Programming and the neural network falsification through sampling. The report is organized as follows. At first, the research context of the problem is detailed. Then, an encoding is proposed for each method. Finally, some results are gathered and discussed.
 
Type
info:eu-repo/semantics/masterThesis
Collections
  • Laurea Magistrale [5671]
URI
https://unire.unige.it/handle/123456789/8309
Metadata
Show full item record

UniRe - Università degli studi di Genova | Contact Us
 

 

All of DSpaceCommunities & Collections

My Account

Login

UniRe - Università degli studi di Genova | Contact Us